w

Author: lcnr

compiler/rustc_middle/src/ty/mod.rs

@@ -1136,7 +1136,7 @@ impl<'tcx, T> ParamEnvAnd<'tcx, T> {
 /// Most of the time you only need to care about the `ParamEnv`
 /// as the `TypingMode` is simply stored in the `InferCtxt`.
 ///
-/// However, there are some placeds which rely on trait solving
+/// However, there are some places which rely on trait solving
 /// without using an `InferCtxt` themselves. For these to be
 /// able to use the trait system they have to be able to initialize
 /// such an `InferCtxt` with the right `typing_mode`, so they need
@@ -1149,7 +1149,7 @@ pub struct TypingEnv<'tcx> {
 }
 
 impl<'tcx> TypingEnv<'tcx> {
-    // FIXME(#132279): THis method should be removed but simplifies the
+    // FIXME(#132279): This method should be removed but simplifies the
     // transition.
     pub fn from_param_env(param_env: ParamEnv<'tcx>) -> TypingEnv<'tcx> {
         TypingEnv { typing_mode: TypingMode::from_param_env(param_env), param_env }
@@ -1159,7 +1159,7 @@ impl<'tcx> TypingEnv<'tcx> {
     /// where all opaque types and default associated items are revealed.
     ///
     /// This is only suitable for monomorphized, post-typeck environments.
-    /// Do not use this during MIR optimizations, as even though they also
+    /// Do not use this for MIR optimizations, as even though they also
     /// use `TypingMode::PostAnalysis`, they may still have where-clauses
     /// in scope.
     pub fn fully_monomorphized() -> TypingEnv<'tcx> {
@@ -1214,7 +1214,8 @@ impl<'tcx> TypingEnv<'tcx> {
 /// contain anything local to the `infcx` of the caller, so we don't actually canonicalize
 /// anything.
 ///
-/// This should be created by using `infcx.pseudo_canonicalize_query(param_env, value)`.
+/// This should be created by using `infcx.pseudo_canonicalize_query(param_env, value)`
+/// or by using `typing_env.as_query_input(value)`.
 #[derive(Copy, Clone, Debug, PartialEq, Eq, Hash)]
 #[derive(HashStable)]
 pub struct PseudoCanonicalInput<'tcx, T> {