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_trait_selection/src | |
| parent | a6bf68d8d013f097ea188878963684853c2fa634 (diff) | |
| parent | df4bfd9e9759a9f9d5b1407db23d5881a13612ca (diff) | |
| download | rust-0b13deb5482488d677c4cd280d985d7921086bea.tar.gz rust-0b13deb5482488d677c4cd280d985d7921086bea.zip | |
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_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/eval_ctxt.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs b/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs index b04d77f0a1a..f48a992d327 100644 --- a/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs +++ b/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs @@ -272,6 +272,7 @@ impl<'a, 'tcx> EvalCtxt<'a, 'tcx> { // assertions against dropping an `InferCtxt` without taking opaques. // FIXME: Once we remove support for the old impl we can remove this. if input.anchor != DefiningAnchor::Error { + // This seems ok, but fragile. let _ = infcx.take_opaque_types(); } |