diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-07-20 09:36:02 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-07-21 13:19:36 +0000 |
| commit | 44e21503a8f2e789bbd90b5dd52590879ba2fab6 (patch) | |
| tree | 8fbf3132a87eaeec5b90278e5747e22493378bed /compiler/rustc_trait_selection/src/solve | |
| parent | c67cb3e577bdd4de640eb11d96cd5ef5afe0eb0b (diff) | |
| download | rust-44e21503a8f2e789bbd90b5dd52590879ba2fab6.tar.gz rust-44e21503a8f2e789bbd90b5dd52590879ba2fab6.zip | |
Double check that hidden types match the expected hidden type
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve')
| -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 6e0aa08c307..0bc2cdf0653 100644 --- a/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs +++ b/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs @@ -271,6 +271,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(); } |