w

Author: lcnr

compiler/rustc_middle/src/ty/mod.rs

@@ -1185,15 +1185,24 @@ impl<'tcx> TypingEnv<'tcx> {
         }
     }
 
-    /// TODO: this method is sus
+    /// Modify the `typing_mode` to `PostAnalysis` and eagerly reveal all
+    /// opaque types in the `param_env`. 
     pub fn with_reveal_all_normalized(self, tcx: TyCtxt<'tcx>) -> TypingEnv<'tcx> {
         let TypingEnv { typing_mode: _, param_env } = self;
         let param_env = param_env.with_reveal_all_normalized(tcx);
         TypingEnv { typing_mode: TypingMode::PostAnalysis, param_env }
     }
 
-    // TODO
-    pub fn as_query_input<T>(self, value: T) -> PseudoCanonicalInput<'tcx, T> {
+    /// Combine this typing environment with the given `value` to be used by
+    /// not (yet) canonicalized queries. This only works if the value does not
+    /// contain anything local to some `InferCtxt`, i.e. inference variables or
+    /// placeholders. 
+    pub fn as_query_input<T>(self, value: T) -> PseudoCanonicalInput<'tcx, T>
+    where
+        T: TypeVisitable<TyCtxt<'tcx>>,
+    {
+        debug_assert!(!value.has_infer());
+        debug_assert!(!value.has_placeholders());
         PseudoCanonicalInput { typing_env: self, value }
     }
 }