w

Author: lcnr

compiler/rustc_infer/src/infer/mod.rs

@@ -1287,6 +1287,9 @@ impl<'tcx> InferCtxt<'tcx> {
         u
     }
 
+    /// Extract [ty::TypingMode] of this inference context to get a `TypingEnv`
+    /// which contains the necessary information to use the trait system without
+    /// using canonicalization or carrying this inference context around.
     pub fn typing_env(&self, param_env: ty::ParamEnv<'tcx>) -> ty::TypingEnv<'tcx> {
         ty::TypingEnv { typing_mode: self.typing_mode(param_env), param_env }
     }