diff options
| -rw-r--r-- | tests/ui/impl-trait/member-constraints/incomplete-constraint.rs | 4 | ||||
| -rw-r--r-- | tests/ui/impl-trait/member-constraints/reject-choice-due-to-prev-constraint.rs | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/tests/ui/impl-trait/member-constraints/incomplete-constraint.rs b/tests/ui/impl-trait/member-constraints/incomplete-constraint.rs index 92fd31516d7..4c085cc1eed 100644 --- a/tests/ui/impl-trait/member-constraints/incomplete-constraint.rs +++ b/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`. diff --git a/tests/ui/impl-trait/member-constraints/reject-choice-due-to-prev-constraint.rs b/tests/ui/impl-trait/member-constraints/reject-choice-due-to-prev-constraint.rs index 4018256b2c8..33f2d277fe5 100644 --- a/tests/ui/impl-trait/member-constraints/reject-choice-due-to-prev-constraint.rs +++ b/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. // |