fix typos

Co-authored-by: Rémy Rakic <remy.rakic+github@gmail.com>

Author: lcnr

tests/ui/impl-trait/member-constraints/incomplete-constraint.rs

@@ -1,8 +1,8 @@
 //@ check-pass
 // FIXME(-Znext-solver): enable this test
 
-// These functions currently does not normalize the opaque type but will do
-// so in the future. At this point we've got a new use of the opaque will fully
+// These functions currently do not normalize the opaque type but will do
+// so in the future. At this point we've got a new use of the opaque with fully
 // universal arguments but for which lifetimes in the hidden type are unconstrained.
 //
 // Applying the member constraints would then incompletely infer `'unconstrained` to `'static`.

tests/ui/impl-trait/member-constraints/reject-choice-due-to-prev-constraint.rs

@@ -8,7 +8,7 @@
 // As '0 gets outlived by 'a - its "upper bound" -  the only applicable choice
 // region is 'a.
 //
-// '1 has to outlive 'b so the only applicabel choice regions are 'b and 'static.
+// '1 has to outlive 'b so the only applicable choice regions are 'b and 'static.
 // Considering this member constraint by itself would choose 'b as it is the
 // smaller of the two regions.
 //