bors
0dab65b8a1
Auto merge of #119934 - compiler-errors:could-impl, r=jackh726
...
Make `InferCtxtExt::could_impl_trait` more precise, less ICEy
The implementation for `InferCtxtExt::could_impl_trait` was very wrong. Along with being pretty poorly named, way too specific to ADTs, it was also doing impl substitution wrong -- this caused an ICE (#119915 ).
This PR generalizes that code, gives it a clearer name, makes it stop using the new trait solver (lol), and fixes some fallout bad suggestions that are made worse with the code fix.
Fixes #119915
2024-01-14 06:37:15 +00:00
..
2024-01-12 14:11:16 +03:00
2024-01-13 12:11:13 -05:00
2024-01-13 20:06:03 +00:00
2024-01-12 14:11:16 +03:00
2024-01-13 12:11:13 -05:00
2024-01-13 22:00:34 +00:00
2024-01-13 12:11:13 -05:00
2024-01-09 13:23:15 +01:00
2024-01-10 07:33:06 +11:00
2024-01-12 18:23:04 +08:00
2024-01-13 20:06:03 +00:00
2024-01-13 12:11:13 -05:00
2024-01-09 13:23:17 +01:00
2024-01-10 07:33:06 +11:00
2024-01-09 19:25:54 +00:00
2024-01-13 09:59:56 +11:00
2024-01-13 12:11:13 -05:00
2024-01-12 08:23:59 +01:00
2024-01-07 16:53:32 +03:00
2024-01-12 14:11:16 +03:00
2024-01-13 20:06:03 +00:00
2024-01-12 14:11:16 +03:00
2024-01-14 06:37:15 +00:00
2024-01-10 07:33:06 +11:00
2024-01-06 11:54:15 +00:00
2024-01-12 16:21:04 +01:00
2024-01-13 06:17:46 +00:00
2024-01-13 12:11:13 -05:00
2024-01-09 13:23:15 +01:00
2024-01-12 18:23:04 +08:00
2024-01-09 20:08:44 -05:00
2024-01-13 20:06:03 +00:00
2024-01-13 20:06:03 +00:00
2024-01-11 03:02:41 +01:00
2024-01-11 19:42:51 +01:00
2024-01-10 21:18:54 +01:00
2024-01-14 04:37:45 +00:00
2024-01-08 19:41:01 +01:00
2024-01-13 12:11:13 -05:00
2024-01-11 14:04:11 +01:00
2024-01-09 13:23:17 +01:00
2024-01-10 07:33:07 +11:00
2024-01-13 22:05:46 +00:00
2024-01-09 20:08:44 -05:00
2024-01-13 12:11:13 -05:00
2024-01-11 03:02:42 +01:00
2024-01-13 04:19:17 +00:00
2024-01-10 07:40:00 +11:00
2024-01-13 16:09:45 +00:00
2024-01-14 06:37:15 +00:00
2024-01-09 16:09:30 +00:00
2024-01-13 15:10:28 +01:00
2024-01-12 15:16:57 +01:00