fix some comment typos

Author: jdonszelmann

compiler/rustc_type_ir/src/search_graph/mod.rs

@@ -131,7 +131,7 @@ pub enum PathKind {
     /// `PathKind::Unknown` during coherence until we're fully confident in
     /// our approach.
     Inductive,
-    /// A path which is not be coinductive right now but we may want
+    /// A path which is not coinductive right now but we may want
     /// to change of them to be so in the future. We return an ambiguous
     /// result in this case to prevent people from relying on this.
     Unknown,

compiler/rustc_type_ir/src/solve/mod.rs

@@ -71,7 +71,7 @@ pub enum GoalSource {
     /// A nested goal required to prove that types are equal/subtypes.
     /// This is always an unproductive step.
     ///
-    /// This is also used for all `NormalizesTo` goals as we they are used
+    /// This is also used for all `NormalizesTo` goals as those are used
     /// to relate types in `AliasRelate`.
     TypeRelating,
     /// We're proving a where-bound of an impl.