diff options
| author | bors <bors@rust-lang.org> | 2023-11-25 13:27:26 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-11-25 13:27:26 +0000 |
| commit | 547598b67ea272ef134c52b779299012f3fc230e (patch) | |
| tree | b4b16bd5ca5f257512de1726c967a3b76cc90cea /compiler/rustc_hir_analysis | |
| parent | 535db180026d8772fde3a3cc6d6bda9a3a360f2a (diff) | |
| parent | feb37829e152e0880dffa337e4897f75ca35eb84 (diff) | |
| download | rust-547598b67ea272ef134c52b779299012f3fc230e.tar.gz rust-547598b67ea272ef134c52b779299012f3fc230e.zip | |
Auto merge of #3191 - RalfJung:rustup, r=RalfJung
Rustup
Diffstat (limited to 'compiler/rustc_hir_analysis')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/astconv/mod.rs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/compiler/rustc_hir_analysis/src/astconv/mod.rs b/compiler/rustc_hir_analysis/src/astconv/mod.rs index 102c83751aa..ff92d4c4a3e 100644 --- a/compiler/rustc_hir_analysis/src/astconv/mod.rs +++ b/compiler/rustc_hir_analysis/src/astconv/mod.rs @@ -1674,10 +1674,7 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o { let impl_ty = ocx.normalize(&cause, param_env, impl_ty); // Check that the self types can be related. - // FIXME(inherent_associated_types): Should we use `eq` here? Method probing uses - // `sup` for this situtation, too. What for? To constrain inference variables? - if ocx.sup(&ObligationCause::dummy(), param_env, impl_ty, self_ty).is_err() - { + if ocx.eq(&ObligationCause::dummy(), param_env, impl_ty, self_ty).is_err() { return false; } |