Guillaume Gomez f939d1ff48 Rollup merge of #123979 - oli-obk:define_opaque_types7, r=compiler-errors ... Subtype predicates only exist on inference types, so we can allow them to register opaque types within them. We were unable to come up with an example where this could be reached (subtype predicates with either side not being an infer var gets consumed during any `select_where_possible` invocation, of which we have a lot in typeck). To ensure we don't silently accept new behaviour in case we missed a situation where this could occur, I have added an assert that prevents opaque types from having their hidden type constrained. r? `@compiler-errors`		2024-04-16 21:41:26 +02:00
..
errors	Use fn ptr signature instead of {closure@..} in infer error	2024-04-10 00:41:27 +00:00
infer	Rollup merge of #123979 - oli-obk:define_opaque_types7, r=compiler-errors	2024-04-16 21:41:26 +02:00
traits	Check x86_64 size assertions on aarch64, too	2024-04-03 16:53:03 +11:00
lib.rs	Check x86_64 size assertions on aarch64, too	2024-04-03 16:53:03 +11:00