diff options
| author | Michael Goulet <michael@errs.io> | 2023-01-09 18:14:28 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-01-09 18:14:28 +0000 |
| commit | f769d34291e489db19d3c972348ddb24b6b32481 (patch) | |
| tree | c045abb9f0ed3f95fc6baaed9172acf36310b94d /compiler/rustc_trait_selection | |
| parent | 5132e13f137ee343a7a64649fa3795560f69216b (diff) | |
Assert defining anchor is set in take_opaque_types
Diffstat (limited to 'compiler/rustc_trait_selection')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/mod.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/mod.rs b/compiler/rustc_trait_selection/src/traits/mod.rs index c30531fa906..58d83d57d43 100644 --- a/compiler/rustc_trait_selection/src/traits/mod.rs +++ b/compiler/rustc_trait_selection/src/traits/mod.rs @@ -450,9 +450,6 @@ pub fn impossible_predicates<'tcx>( } let errors = ocx.select_all_or_error(); - // Clean up after ourselves - let _ = infcx.inner.borrow_mut().opaque_type_storage.take_opaque_types(); - let result = !errors.is_empty(); debug!("impossible_predicates = {:?}", result); result |