diff options
Diffstat (limited to '')
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-44005.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-44005.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-56556.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-56556.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-1.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-1.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.stderr (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.stderr) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-4.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-4.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-5.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-5.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-6.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-6.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-70120.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-70120.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.migrate.stderr (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.migrate.stderr) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.stderr (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.stderr) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-74261.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-74261.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-76956.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-76956.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80956.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80956.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.rs) | 1 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.stderr | 25 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.stderr (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.stderr) | 12 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89436.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89436.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90612.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90612.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90638.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90638.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90875.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90875.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.stderr (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.stderr) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.rs (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.rs) | 0 | ||||
-rw-r--r-- | tests/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.stderr (renamed from src/test/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.stderr) | 0 |
30 files changed, 35 insertions, 3 deletions
diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-44005.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-44005.rs index f255eac0c..f255eac0c 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-44005.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-44005.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-56556.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-56556.rs index 4d38cb19e..4d38cb19e 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-56556.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-56556.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-1.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-1.rs index c6f29fa59..c6f29fa59 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-1.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-1.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs index 002054732..002054732 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.rs index d84e30f49..d84e30f49 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.stderr b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.stderr index b30dd36d2..b30dd36d2 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.stderr +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.stderr diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-4.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-4.rs index 8c2a59868..8c2a59868 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-4.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-4.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-5.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-5.rs index 03f257a02..03f257a02 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-5.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-5.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-6.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-6.rs index 74a4785e4..74a4785e4 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-6.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-6.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-70120.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-70120.rs index 3ced40230..3ced40230 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-70120.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-70120.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.migrate.stderr b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.migrate.stderr index 0f38f8e32..0f38f8e32 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.migrate.stderr +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.migrate.stderr diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.rs index 1d90226a3..1d90226a3 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.stderr b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.stderr index 4ef96cd95..4ef96cd95 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.stderr +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-71955.stderr diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-74261.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-74261.rs index 93ccb4268..93ccb4268 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-74261.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-74261.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-76956.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-76956.rs index 583470080..583470080 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-76956.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-76956.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs index 00a866f22..00a866f22 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80956.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80956.rs index 6316ceea1..6316ceea1 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80956.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80956.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs index f6ab9c203..f6ab9c203 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-81809.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.rs index c10a0888a..8aa29926d 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.rs @@ -7,6 +7,7 @@ trait SomeTrait<'a> { fn give_me_ice<T>() { callee::<fn(&()) -> <T as SomeTrait<'_>>::Associated>(); //~^ ERROR the trait bound `for<'a> T: SomeTrait<'a>` is not satisfied [E0277] + //~| ERROR the trait bound `for<'a> T: SomeTrait<'a>` is not satisfied [E0277] } fn callee<T: Fn<(&'static (),)>>() { diff --git a/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.stderr b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.stderr new file mode 100644 index 000000000..3240518fb --- /dev/null +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.stderr @@ -0,0 +1,25 @@ +error[E0277]: the trait bound `for<'a> T: SomeTrait<'a>` is not satisfied + --> $DIR/issue-85455.rs:8:14 + | +LL | callee::<fn(&()) -> <T as SomeTrait<'_>>::Associated>(); + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> SomeTrait<'a>` is not implemented for `T` + | +help: consider restricting type parameter `T` + | +LL | fn give_me_ice<T: for<'a> SomeTrait<'a>>() { + | +++++++++++++++++++++++ + +error[E0277]: the trait bound `for<'a> T: SomeTrait<'a>` is not satisfied + --> $DIR/issue-85455.rs:8:5 + | +LL | callee::<fn(&()) -> <T as SomeTrait<'_>>::Associated>(); + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> SomeTrait<'a>` is not implemented for `T` + | +help: consider restricting type parameter `T` + | +LL | fn give_me_ice<T: for<'a> SomeTrait<'a>>() { + | +++++++++++++++++++++++ + +error: aborting due to 2 previous errors + +For more information about this error, try `rustc --explain E0277`. diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.rs index fffb54f86..fffb54f86 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.stderr b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.stderr index 14fe1803b..62d0128fd 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.stderr +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89118.stderr @@ -8,7 +8,9 @@ note: required for `Ctx<()>` to implement `for<'a> BufferUdpStateContext<&'a ()> --> $DIR/issue-89118.rs:5:23 | LL | impl<B: BufferMut, C> BufferUdpStateContext<B> for C {} - | ^^^^^^^^^^^^^^^^^^^^^^^^ ^ + | --------- ^^^^^^^^^^^^^^^^^^^^^^^^ ^ + | | + | unsatisfied trait bound introduced here note: required by a bound in `StackContext` --> $DIR/issue-89118.rs:9:14 | @@ -28,7 +30,9 @@ note: required for `Ctx<()>` to implement `for<'a> BufferUdpStateContext<&'a ()> --> $DIR/issue-89118.rs:5:23 | LL | impl<B: BufferMut, C> BufferUdpStateContext<B> for C {} - | ^^^^^^^^^^^^^^^^^^^^^^^^ ^ + | --------- ^^^^^^^^^^^^^^^^^^^^^^^^ ^ + | | + | unsatisfied trait bound introduced here note: required by a bound in `EthernetWorker` --> $DIR/issue-89118.rs:28:14 | @@ -48,7 +52,9 @@ note: required for `Ctx<()>` to implement `for<'a> BufferUdpStateContext<&'a ()> --> $DIR/issue-89118.rs:5:23 | LL | impl<B: BufferMut, C> BufferUdpStateContext<B> for C {} - | ^^^^^^^^^^^^^^^^^^^^^^^^ ^ + | --------- ^^^^^^^^^^^^^^^^^^^^^^^^ ^ + | | + | unsatisfied trait bound introduced here note: required by a bound in `StackContext` --> $DIR/issue-89118.rs:9:14 | diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89436.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89436.rs index f7e467b37..f7e467b37 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89436.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-89436.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90612.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90612.rs index effc32945..effc32945 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90612.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90612.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90638.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90638.rs index 628b5cba1..628b5cba1 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90638.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90638.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90875.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90875.rs index ffd6857d8..ffd6857d8 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90875.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90875.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.rs index ab9d9a7ce..ab9d9a7ce 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.stderr b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.stderr index 6206b167b..6206b167b 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.stderr +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90950.stderr diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.rs b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.rs index 7693b1182..7693b1182 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.rs +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.rs diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.stderr b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.stderr index 51c964600..51c964600 100644 --- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.stderr +++ b/tests/ui/higher-rank-trait-bounds/normalize-under-binder/norm-before-method-resolution.stderr |