diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-02-10 16:42:53 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-02-21 14:50:51 +0000 |
| commit | 88a7b6803b7791febe1cdeb0f66f01b3b6b75af6 (patch) | |
| tree | fc88ffa75f5a4d042c9b4ccabf7e13bedc799ace /compiler/rustc_trait_selection/src/traits/coherence.rs | |
| parent | bda32a4023b1d3f96e56e1b2fc7510324f430316 (diff) | |
| download | rust-88a7b6803b7791febe1cdeb0f66f01b3b6b75af6.tar.gz rust-88a7b6803b7791febe1cdeb0f66f01b3b6b75af6.zip | |
Make hidden type registration opt-in, so that each site can be reviewed on its own and we have the right defaults for trait solvers
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/coherence.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/coherence.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs index 599238e405d..44369670f5f 100644 --- a/compiler/rustc_trait_selection/src/traits/coherence.rs +++ b/compiler/rustc_trait_selection/src/traits/coherence.rs @@ -217,6 +217,7 @@ fn equate_impl_headers<'cx, 'tcx>( selcx .infcx .at(&ObligationCause::dummy(), ty::ParamEnv::empty()) + .define_opaque_types(true) .eq_impl_headers(impl1_header, impl2_header) .map(|infer_ok| infer_ok.obligations) .ok() |