w

Author: lcnr

src/solve/candidate-preference.md

@@ -167,7 +167,7 @@ where
 
 #### Why no preference for global where-bounds
 
-Global where-bounds are either fully implied by an impl or unsatisfiable. If they are unsatisfiable, we don't care about them. If a where-bound is fully implied then using the impl to prove the trait goal cannot result in additional constraints. For trait goals this is only relevant for where-bounds which use `'static`:
+Global where-bounds are either fully implied by an impl or unsatisfiable. If they are unsatisfiable, we don't really care what happens. If a where-bound is fully implied then using the impl to prove the trait goal cannot result in additional constraints. For trait goals this is only relevant for where-bounds which use `'static`:
 
 ```rust
 trait A {