diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-02-10 14:53:50 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-03-28 16:29:54 +0000 |
| commit | 1c5bfb17703975ff9952243c24c46cf54fe0d49c (patch) | |
| tree | 97957c637ce3e87550fe69caf11dad04134fd9eb /compiler | |
| parent | f42a6793ce3d32a8d414519b8ec82141f7996479 (diff) | |
| download | rust-1c5bfb17703975ff9952243c24c46cf54fe0d49c.tar.gz rust-1c5bfb17703975ff9952243c24c46cf54fe0d49c.zip | |
Don't bind hidden types when searching for matching impls
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/select/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/select/mod.rs b/compiler/rustc_trait_selection/src/traits/select/mod.rs index 9b8a49e512b..76526df6461 100644 --- a/compiler/rustc_trait_selection/src/traits/select/mod.rs +++ b/compiler/rustc_trait_selection/src/traits/select/mod.rs @@ -2163,6 +2163,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> { let InferOk { obligations, .. } = self .infcx .at(&cause, obligation.param_env) + .define_opaque_types(false) .eq(placeholder_obligation_trait_ref, impl_trait_ref) .map_err(|e| debug!("match_impl: failed eq_trait_refs due to `{}`", e))?; nested_obligations.extend(obligations); |