diff options
| author | bors <bors@rust-lang.org> | 2023-07-19 05:40:58 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-19 05:40:58 +0000 |
| commit | b657dc555b1ecf837cc4ea471fbae6a731529d55 (patch) | |
| tree | 72e56bff53e73f3a05c815dc99d053a12e5df061 /compiler/rustc_infer/src/traits/util.rs | |
| parent | 0d6a9b2bf7f823ed563ca3a75392ba9bf9ff1566 (diff) | |
| parent | 281c2271bea8dea7085988211d5512a67c659c73 (diff) | |
| download | rust-b657dc555b1ecf837cc4ea471fbae6a731529d55.tar.gz rust-b657dc555b1ecf837cc4ea471fbae6a731529d55.zip | |
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`
Diffstat (limited to 'compiler/rustc_infer/src/traits/util.rs')
0 files changed, 0 insertions, 0 deletions