diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-07-25 23:34:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-25 23:34:07 +0200 |
| commit | 0b13deb5482488d677c4cd280d985d7921086bea (patch) | |
| tree | f475686ca0e9cbe3326e536f03e0c82f4fc020de /compiler/rustc_borrowck/src | |
| parent | a6bf68d8d013f097ea188878963684853c2fa634 (diff) | |
| parent | df4bfd9e9759a9f9d5b1407db23d5881a13612ca (diff) | |
Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnr
Double check that hidden types match the expected hidden type Fixes https://github.com/rust-lang/rust/issues/113278 specifically, but I left a TODO for where we should also add some hardening. It feels a bit like papering over the issue, but at least this way we don't get unsoundness, but just surprising errors. Errors will be improved and given spans before this PR lands. r? `@compiler-errors` `@lcnr`
Diffstat (limited to 'compiler/rustc_borrowck/src')
| -rw-r--r-- | compiler/rustc_borrowck/src/region_infer/opaque_types.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_borrowck/src/region_infer/opaque_types.rs b/compiler/rustc_borrowck/src/region_infer/opaque_types.rs index d8e81827a3b..17a4f2d76b6 100644 --- a/compiler/rustc_borrowck/src/region_infer/opaque_types.rs +++ b/compiler/rustc_borrowck/src/region_infer/opaque_types.rs @@ -339,8 +339,8 @@ fn check_opaque_type_well_formed<'tcx>( // version. let errors = ocx.select_all_or_error(); - // This is still required for many(half of the tests in ui/type-alias-impl-trait) - // tests to pass + // This is fishy, but we check it again in `check_opaque_meets_bounds`. + // Remove once we can prepopulate with known hidden types. let _ = infcx.take_opaque_types(); if errors.is_empty() { |