bors b657dc555b Auto merge of #113690 - aliemjay:opaque-defined-by-trait, r=compiler-errors ... allow opaques to be defined by trait queries, again This basically reverts #112963. Moreover, all call-sites of `enter_canonical_trait_query` can now define opaque types, see the ui test `defined-by-user-annotation.rs`. Fixes #113689 r? `@compiler-errors` `@oli-obk`		2023-07-19 05:40:58 +00:00
..
solve	Rename arg_iter to iter_instantiated	2023-07-17 21:04:12 +00:00
traits	Rename arg_iter to iter_instantiated	2023-07-17 21:04:12 +00:00
errors.rs	IAT: Introduce AliasKind::Inherent	2023-05-04 16:59:10 +02:00
infer.rs	allow opaques to be defined by trait queries	2023-07-14 12:35:33 +00:00
lib.rs	remove hash_drain_filter feature uses	2023-06-14 09:28:56 +02:00