diff options
| author | Jacob Pratt <jacob@jhpratt.dev> | 2024-03-20 20:29:45 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-20 20:29:45 -0400 |
| commit | 4e792df4edc0bb82fa48499cd9f72f9928ea29e9 (patch) | |
| tree | d956a1f37025cfd26903141077d9d19b9c366cd8 /compiler/rustc_infer | |
| parent | d53df5a51e9621f09c484acfd052550396dfd129 (diff) | |
| parent | 0dc006b3a8901f8591b65c71f8eaaba14ab39862 (diff) | |
| download | rust-4e792df4edc0bb82fa48499cd9f72f9928ea29e9.tar.gz rust-4e792df4edc0bb82fa48499cd9f72f9928ea29e9.zip | |
Rollup merge of #122749 - aliemjay:region-err, r=compiler-errors
make `type_flags(ReError) & HAS_ERROR` Self-explanatory. `TypeVisitableExt::references_error(ReError)` incorrectly returned `false`.
Diffstat (limited to 'compiler/rustc_infer')
| -rw-r--r-- | compiler/rustc_infer/src/infer/opaque_types/mod.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/compiler/rustc_infer/src/infer/opaque_types/mod.rs b/compiler/rustc_infer/src/infer/opaque_types/mod.rs index a6f8115c27e..02b8ded285f 100644 --- a/compiler/rustc_infer/src/infer/opaque_types/mod.rs +++ b/compiler/rustc_infer/src/infer/opaque_types/mod.rs @@ -94,9 +94,6 @@ impl<'tcx> InferCtxt<'tcx> { cause: &ObligationCause<'tcx>, param_env: ty::ParamEnv<'tcx>, ) -> InferResult<'tcx, ()> { - if a.references_error() || b.references_error() { - return Ok(InferOk { value: (), obligations: vec![] }); - } let process = |a: Ty<'tcx>, b: Ty<'tcx>| match *a.kind() { ty::Alias(ty::Opaque, ty::AliasTy { def_id, args, .. }) if def_id.is_local() => { let def_id = def_id.expect_local(); |