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`
This commit is contained in:
bors 2023-07-19 05:40:58 +00:00
commit 6ff921523c

Diff content is not available