diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/ui/traits/unconstrained-projection-normalization-2.current.stderr (renamed from tests/ui/traits/unconstrained-projection-normalization-2.stderr) | 2 | ||||
| -rw-r--r-- | tests/ui/traits/unconstrained-projection-normalization-2.next.stderr | 9 | ||||
| -rw-r--r-- | tests/ui/traits/unconstrained-projection-normalization-2.rs | 4 | ||||
| -rw-r--r-- | tests/ui/traits/unconstrained-projection-normalization.current.stderr (renamed from tests/ui/traits/unconstrained-projection-normalization.stderr) | 2 | ||||
| -rw-r--r-- | tests/ui/traits/unconstrained-projection-normalization.next.stderr | 9 | ||||
| -rw-r--r-- | tests/ui/traits/unconstrained-projection-normalization.rs | 4 |
6 files changed, 28 insertions, 2 deletions
diff --git a/tests/ui/traits/unconstrained-projection-normalization-2.stderr b/tests/ui/traits/unconstrained-projection-normalization-2.current.stderr index 6d3d4492b07..2bb389c6ec1 100644 --- a/tests/ui/traits/unconstrained-projection-normalization-2.stderr +++ b/tests/ui/traits/unconstrained-projection-normalization-2.current.stderr @@ -1,5 +1,5 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates - --> $DIR/unconstrained-projection-normalization-2.rs:10:6 + --> $DIR/unconstrained-projection-normalization-2.rs:14:6 | LL | impl<T: ?Sized> Every for Thing { | ^ unconstrained type parameter diff --git a/tests/ui/traits/unconstrained-projection-normalization-2.next.stderr b/tests/ui/traits/unconstrained-projection-normalization-2.next.stderr new file mode 100644 index 00000000000..2bb389c6ec1 --- /dev/null +++ b/tests/ui/traits/unconstrained-projection-normalization-2.next.stderr @@ -0,0 +1,9 @@ +error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates + --> $DIR/unconstrained-projection-normalization-2.rs:14:6 + | +LL | impl<T: ?Sized> Every for Thing { + | ^ unconstrained type parameter + +error: aborting due to 1 previous error + +For more information about this error, try `rustc --explain E0207`. diff --git a/tests/ui/traits/unconstrained-projection-normalization-2.rs b/tests/ui/traits/unconstrained-projection-normalization-2.rs index 085e9e4a61a..6b584c436c6 100644 --- a/tests/ui/traits/unconstrained-projection-normalization-2.rs +++ b/tests/ui/traits/unconstrained-projection-normalization-2.rs @@ -2,6 +2,10 @@ // an associated type in an impl with unconstrained non-lifetime params. // (This time in a function signature) +//@ revisions: current next +//@ ignore-compare-mode-next-solver (explicit revisions) +//@[next] compile-flags: -Znext-solver + struct Thing; pub trait Every { diff --git a/tests/ui/traits/unconstrained-projection-normalization.stderr b/tests/ui/traits/unconstrained-projection-normalization.current.stderr index 4e4421a73e5..991f0e8ba66 100644 --- a/tests/ui/traits/unconstrained-projection-normalization.stderr +++ b/tests/ui/traits/unconstrained-projection-normalization.current.stderr @@ -1,5 +1,5 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates - --> $DIR/unconstrained-projection-normalization.rs:9:6 + --> $DIR/unconstrained-projection-normalization.rs:13:6 | LL | impl<T: ?Sized> Every for Thing { | ^ unconstrained type parameter diff --git a/tests/ui/traits/unconstrained-projection-normalization.next.stderr b/tests/ui/traits/unconstrained-projection-normalization.next.stderr new file mode 100644 index 00000000000..991f0e8ba66 --- /dev/null +++ b/tests/ui/traits/unconstrained-projection-normalization.next.stderr @@ -0,0 +1,9 @@ +error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates + --> $DIR/unconstrained-projection-normalization.rs:13:6 + | +LL | impl<T: ?Sized> Every for Thing { + | ^ unconstrained type parameter + +error: aborting due to 1 previous error + +For more information about this error, try `rustc --explain E0207`. diff --git a/tests/ui/traits/unconstrained-projection-normalization.rs b/tests/ui/traits/unconstrained-projection-normalization.rs index e4d25a5ba6c..fa4ab7fec4c 100644 --- a/tests/ui/traits/unconstrained-projection-normalization.rs +++ b/tests/ui/traits/unconstrained-projection-normalization.rs @@ -1,6 +1,10 @@ // Make sure we don't ICE in `normalize_erasing_regions` when normalizing // an associated type in an impl with unconstrained non-lifetime params. +//@ revisions: current next +//@ ignore-compare-mode-next-solver (explicit revisions) +//@[next] compile-flags: -Znext-solver + struct Thing; pub trait Every { |
