bors c401f09979 Auto merge of #119744 - lcnr:assemble-only-rigid, r=compiler-errors
only assemble alias bound candidates for rigid aliases

fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/77

This also causes `<Wrapper<?0> as Trait>::Unwrap: Trait` to always be ambig, as we now normalize the self type before checking whether it is an inference variable.

I cannot think of an approach to the underlying issues here which does not require the "may-define means must-define" restriction for opaque types. Going to go ahead with this and added this restriction to the tracking issue for the new solver to make sure we don't stabilize it without getting types + lang signoff here.

r? `@compiler-errors`
2024-01-30 07:11:24 +00:00
..
2024-01-24 00:41:45 +01:00
2024-01-13 12:46:58 -05:00
2024-01-16 09:25:28 +01:00
2024-01-13 12:46:58 -05:00
2024-01-23 15:10:23 +00:00
2024-01-13 12:46:58 -05:00
2024-01-23 15:23:22 +00:00
2024-01-13 12:46:58 -05:00
2024-01-23 15:10:23 +00:00
2024-01-24 07:56:23 +01:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-11 21:39:44 +08:00
2024-01-24 00:01:59 +08:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-27 16:38:57 +01:00
2024-01-23 21:16:24 +08:00
2024-01-16 09:25:28 +01:00
2024-01-13 12:46:58 -05:00
2024-01-27 16:38:57 +01:00
2024-01-13 12:46:58 -05:00
2024-01-27 16:38:57 +01:00
2024-01-13 12:46:58 -05:00
2024-01-27 16:38:57 +01:00
2024-01-19 20:38:51 +00:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-16 14:58:42 -05:00
2024-01-27 16:38:57 +01:00
2024-01-13 12:46:58 -05:00
2024-01-24 00:41:45 +01:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-24 07:56:23 +01:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-24 00:41:45 +01:00
2024-01-13 12:46:58 -05:00
2024-01-27 16:38:57 +01:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00