Skip to content

Commit

Permalink
Rename ui tests.
Browse files Browse the repository at this point in the history
  • Loading branch information
cjgillot committed Aug 18, 2024
1 parent dd67d09 commit 90b8f3a
Show file tree
Hide file tree
Showing 6 changed files with 11 additions and 11 deletions.
Original file line number Diff line number Diff line change
@@ -1,24 +1,24 @@
error[E0657]: `impl Trait` cannot capture higher-ranked lifetime from `dyn` type
--> $DIR/issue-129099-impl-sized-is-not-dyn.rs:6:71
--> $DIR/bound-lifetime-through-dyn-trait.rs:6:71
|
LL | fn dyn_hoops<T: Sized>() -> dyn for<'a> Iterator<Item = impl Captures<'a>> {
| ^^
|
note: lifetime declared here
--> $DIR/issue-129099-impl-sized-is-not-dyn.rs:6:37
--> $DIR/bound-lifetime-through-dyn-trait.rs:6:37
|
LL | fn dyn_hoops<T: Sized>() -> dyn for<'a> Iterator<Item = impl Captures<'a>> {
| ^^

error: item does not constrain `Opaque::{opaque#0}`, but has it in its signature
--> $DIR/issue-129099-impl-sized-is-not-dyn.rs:11:8
--> $DIR/bound-lifetime-through-dyn-trait.rs:11:8
|
LL | pub fn main() {
| ^^^^
|
= note: consider moving the opaque type's declaration and defining uses into a separate module
note: this opaque type is in the signature
--> $DIR/issue-129099-impl-sized-is-not-dyn.rs:13:19
--> $DIR/bound-lifetime-through-dyn-trait.rs:13:19
|
LL | type Opaque = impl Sized;
| ^^^^^^^^^^
Expand Down
Original file line number Diff line number Diff line change
@@ -1,25 +1,25 @@
error[E0220]: associated type `Assoc` not found for `Trait`
--> $DIR/issue-121422-non-lifetime-binder-constraint.rs:6:39
--> $DIR/non-lifetime-binder-in-constraint.rs:6:39
|
LL | fn produce() -> impl for<T> Trait<(), Assoc = impl Trait<T>> {
| ^^^^^ associated type `Assoc` not found

error[E0220]: associated type `Assoc` not found for `Trait`
--> $DIR/issue-121422-non-lifetime-binder-constraint.rs:6:39
--> $DIR/non-lifetime-binder-in-constraint.rs:6:39
|
LL | fn produce() -> impl for<T> Trait<(), Assoc = impl Trait<T>> {
| ^^^^^ associated type `Assoc` not found
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `{integer}: Trait<()>` is not satisfied
--> $DIR/issue-121422-non-lifetime-binder-constraint.rs:6:17
--> $DIR/non-lifetime-binder-in-constraint.rs:6:17
|
LL | fn produce() -> impl for<T> Trait<(), Assoc = impl Trait<T>> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Trait<()>` is not implemented for `{integer}`
|
help: this trait has no implementations, consider adding one
--> $DIR/issue-121422-non-lifetime-binder-constraint.rs:4:1
--> $DIR/non-lifetime-binder-in-constraint.rs:4:1
|
LL | trait Trait<T: ?Sized> {}
| ^^^^^^^^^^^^^^^^^^^^^^
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
error[E0666]: nested `impl Trait` is not allowed
--> $DIR/issue-119716-non-lifetime-binder.rs:6:29
--> $DIR/non-lifetime-binder.rs:6:29
|
LL | fn f() -> impl for<T> Trait<impl Trait<T>> {}
| ------------------^^^^^^^^^^^^^-
Expand All @@ -8,13 +8,13 @@ LL | fn f() -> impl for<T> Trait<impl Trait<T>> {}
| outer `impl Trait`

error[E0277]: the trait bound `(): Trait<impl Trait<T>>` is not satisfied
--> $DIR/issue-119716-non-lifetime-binder.rs:6:11
--> $DIR/non-lifetime-binder.rs:6:11
|
LL | fn f() -> impl for<T> Trait<impl Trait<T>> {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Trait<impl Trait<T>>` is not implemented for `()`
|
help: this trait has no implementations, consider adding one
--> $DIR/issue-119716-non-lifetime-binder.rs:4:1
--> $DIR/non-lifetime-binder.rs:4:1
|
LL | trait Trait<T> {}
| ^^^^^^^^^^^^^^
Expand Down

0 comments on commit 90b8f3a

Please sign in to comment.