bors
959b2c703d
Auto merge of #115696 - RalfJung:closure-ty-print, r=oli-obk
...
adjust how closure/generator types are printed
I saw `&[closure@$DIR/issue-20862.rs:2:5]` and I thought it is a slice type, because that's usually what `&[_]` is... it took me a while to realize that this is just a confusing printer and actually there's no slice. Let's use something that cannot be mistaken for a regular type.
2023-09-22 15:19:38 +00:00
..
2023-06-15 15:19:11 -04:00
2023-09-01 04:01:54 +08:00
2023-09-01 04:01:54 +08:00
2023-08-24 14:10:18 +02:00
2023-07-20 21:30:51 +00:00
2023-08-24 14:10:18 +02:00
2023-09-01 04:01:54 +08:00
2023-06-15 15:19:11 -04:00
2023-07-20 21:30:51 +00:00
2023-06-15 15:19:11 -04:00
2023-08-24 14:10:18 +02:00
2023-08-24 14:26:26 +02:00
2023-09-01 04:01:54 +08:00
2023-08-24 14:26:26 +02:00
2023-08-24 14:10:18 +02:00
2023-08-24 14:26:26 +02:00
2023-06-15 15:19:11 -04:00
2023-09-01 04:01:54 +08:00
2023-08-24 14:10:18 +02:00
2023-09-14 11:56:55 +02:00
2023-09-14 11:56:55 +02:00
2023-09-14 11:56:55 +02:00
2023-09-14 11:56:55 +02:00
2023-06-15 15:19:11 -04:00
2023-06-15 15:19:11 -04:00
2023-06-15 15:19:11 -04:00
2023-06-15 15:19:11 -04:00
2023-06-15 15:19:11 -04:00
2023-06-23 18:36:25 +01:00
2023-06-15 15:19:11 -04:00
2023-06-23 18:36:25 +01:00
2023-06-15 15:19:11 -04:00
2023-06-15 15:19:11 -04:00
2023-06-15 15:19:11 -04:00
2023-06-15 15:19:11 -04:00
2023-06-12 09:34:15 +02:00
2023-09-01 04:01:54 +08:00
2023-09-01 04:01:54 +08:00
2023-07-19 09:59:12 +00:00
2023-08-24 14:26:26 +02:00
2023-07-19 09:59:12 +00:00
2023-07-19 09:59:12 +00:00
2023-09-01 04:01:54 +08:00
2023-09-01 04:01:54 +08:00
2023-08-24 14:10:18 +02:00
2023-09-21 22:20:58 +02:00
2023-08-24 14:10:18 +02:00
2023-06-01 21:41:58 +00:00
2023-09-21 22:20:58 +02:00
2023-09-21 22:20:58 +02:00
2023-08-24 14:10:18 +02:00
2023-09-01 04:01:54 +08:00
2023-09-01 04:01:54 +08:00
2023-09-05 17:20:07 +00:00
2023-09-05 17:20:07 +00:00
2023-07-19 09:59:12 +00:00
2023-07-19 09:59:12 +00:00
2023-06-15 15:19:11 -04:00
2023-06-23 18:36:25 +01:00
2023-07-20 11:33:49 -07:00
2023-08-24 14:26:26 +02:00
2023-07-20 11:33:49 -07:00
2023-08-24 14:26:26 +02:00
2023-09-01 04:01:54 +08:00
2023-09-01 04:01:54 +08:00
2023-08-17 17:07:53 +00:00
2023-08-24 14:26:26 +02:00
2023-08-24 14:10:18 +02:00
2023-07-19 09:59:12 +00:00
2023-07-19 09:59:12 +00:00
2023-07-19 09:59:12 +00:00
2023-07-19 09:59:12 +00:00
2023-09-21 08:12:30 +02:00
2023-09-21 08:12:30 +02:00
2023-08-25 19:48:20 -04:00
2023-06-15 15:19:11 -04:00
2023-06-15 15:19:11 -04:00
2023-08-24 14:10:18 +02:00