w

Author: lcnr

src/solve/candidate-preference.md

@@ -30,7 +30,7 @@ where
 }
 ```
 
-This preference is incorrect in case the builtin impl has a nested goal which relies on a where-clause.
+This preference is incorrect in case the builtin impl has a nested goal which relies on a non-param where-clause
 ```rust
 struct MyType<'a, T: ?Sized>(&'a (), T);
 fn is_sized<T>() {}
@@ -39,7 +39,7 @@ where
     (MyType<'a, T>,): Sized,
     MyType<'static, T>: Sized,
 {
-    // The where-bound is trivial whihe builtin `Sized` impl for tuples
+    // The where-bound is trivial while the builtin `Sized` impl for tuples
     // requires proving `MyType<'a, T>: Sized` which can only be proven by
     // using the where-clause, adding an unnecessary `'static` constraint.
     is_sized::<(MyType<'a, T>,)>();