Assert if inference vars are leaking from fully_resolve

2022-10-10 22:39:41 +00:00 · 2022-10-10 22:39:41 +00:00 · 1727c00f1a
commit 1727c00f1a
parent c07a6a9c0c
1 changed files with 6 additions and 1 deletions
--- a/compiler/rustc_infer/src/infer/mod.rs
+++ b/compiler/rustc_infer/src/infer/mod.rs
@ -1469,7 +1469,12 @@ impl<'tcx> InferCtxt<'tcx> {
         * except during the writeback phase.
         */

-        resolve::fully_resolve(self, value)
+        let value = resolve::fully_resolve(self, value);
+        assert!(
+            value.as_ref().map_or(true, |value| !value.needs_infer()),
+            "`{value:?}` is not fully resolved"
+        );
+        value
    }

    pub fn replace_bound_vars_with_fresh_vars<T>(