Ralf Jung 49ca99de93
Rollup merge of #72441 - doctorn:late-bound-lifetime-ice, r=nikomatsakis ...
Fix ICE with explicit late-bound lifetimes
Rather than returning an explicit late-bound lifetime as a generic argument count mismatch (which is not necessarily true), this PR propagates the presence of explicit late-bound lifetimes.
This avoids an ICE that can occur due to the presence of explicit late-bound lifetimes when building generic substitutions by explicitly ignoring them.
r? @varkor
cc @davidtwco (this removes a check you introduced in #60892 )
Resolves #72278
2020-05-30 13:45:04 +02:00
2020-05-29 11:16:45 +00:00
2020-05-22 19:08:39 +02:00
2020-05-29 21:58:34 +02:00
2020-05-30 12:39:10 +09:00
2020-05-13 11:35:32 +10:00
2020-05-30 13:45:02 +02:00
2020-05-18 14:41:34 +01:00
2020-05-17 11:23:42 +02:00
2020-05-21 17:15:13 -07:00
2020-05-29 00:19:11 -04:00
2020-05-30 12:39:23 +09:00
2020-05-17 01:31:18 +08:00
2020-05-18 14:41:33 +01:00
2020-05-11 17:13:32 +02:00
2020-05-24 15:54:48 -04:00
2020-05-24 08:20:40 +02:00
2020-05-29 21:58:24 +02:00
2020-05-29 17:05:17 -07:00
2020-05-22 13:31:02 -07:00
2020-05-29 20:21:26 +02:00
2020-05-27 16:27:15 -07:00
2020-05-24 15:54:48 -04:00
2020-05-29 21:58:25 +02:00
2020-05-29 20:05:44 +01:00
2020-05-18 14:41:33 +01:00
2020-05-12 17:55:07 +10:00
2020-05-29 17:05:17 -07:00
2020-05-30 12:39:10 +09:00
2020-05-30 12:22:29 +02:00
2020-05-25 10:11:08 -04:00
2020-05-29 21:58:25 +02:00
2020-05-25 22:47:55 -07:00
2020-05-30 13:45:00 +02:00
2020-05-30 13:45:00 +02:00
2020-05-29 23:43:20 +00:00
2020-05-30 12:39:19 +09:00
2020-05-29 17:46:38 +02:00
2020-05-23 12:24:19 +02:00
2020-05-14 18:21:50 +02:00
2020-05-29 20:05:44 +01:00
2020-05-22 13:31:02 -07:00
2020-05-27 20:37:56 +02:00
2020-05-29 21:58:25 +02:00
2020-05-23 12:24:19 +02:00
2020-05-29 21:58:34 +02:00
2020-05-30 12:39:14 +09:00
2020-05-24 04:15:08 +00:00
2020-05-23 12:24:19 +02:00
2020-05-30 13:45:04 +02:00
2020-05-28 13:23:33 -04:00
2020-05-14 10:45:11 +03:00
2020-05-30 12:39:10 +09:00
2020-05-11 17:13:32 +02:00
2020-05-20 21:33:37 +03:00
2020-05-20 20:14:16 +02:00
2020-05-21 22:05:19 +03:00
2020-05-09 16:03:40 -04:00
2020-05-30 13:45:04 +02:00
2020-05-29 11:16:45 +00:00
Ralf Jung
49ca99de93