summaryrefslogtreecommitdiffstats
path: root/src/test/ui/higher-rank-trait-bounds/hrtb-higher-ranker-supertraits-transitive.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
commit218caa410aa38c29984be31a5229b9fa717560ee (patch)
treec54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/higher-rank-trait-bounds/hrtb-higher-ranker-supertraits-transitive.rs
parentReleasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz
rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/higher-rank-trait-bounds/hrtb-higher-ranker-supertraits-transitive.rs')
-rw-r--r--src/test/ui/higher-rank-trait-bounds/hrtb-higher-ranker-supertraits-transitive.rs50
1 files changed, 0 insertions, 50 deletions
diff --git a/src/test/ui/higher-rank-trait-bounds/hrtb-higher-ranker-supertraits-transitive.rs b/src/test/ui/higher-rank-trait-bounds/hrtb-higher-ranker-supertraits-transitive.rs
deleted file mode 100644
index f9ae1429e..000000000
--- a/src/test/ui/higher-rank-trait-bounds/hrtb-higher-ranker-supertraits-transitive.rs
+++ /dev/null
@@ -1,50 +0,0 @@
-// Test HRTB supertraits with several levels of expansion required.
-
-trait Foo<'tcx>
-{
- fn foo(&'tcx self) -> &'tcx isize;
-}
-
-trait Bar<'ccx>
- : for<'tcx> Foo<'tcx>
-{
- fn bar(&'ccx self) -> &'ccx isize;
-}
-
-trait Baz
- : for<'ccx> Bar<'ccx>
-{
- fn dummy(&self);
-}
-
-trait Qux
- : Bar<'static>
-{
- fn dummy(&self);
-}
-
-fn want_foo_for_any_tcx<F>(f: &F)
- where F : for<'tcx> Foo<'tcx>
-{
-}
-
-fn want_bar_for_any_ccx<B>(b: &B)
- where B : for<'ccx> Bar<'ccx>
-{
-}
-
-fn want_baz<B>(b: &B)
- where B : Baz
-{
- want_foo_for_any_tcx(b);
- want_bar_for_any_ccx(b);
-}
-
-fn want_qux<B>(b: &B)
- where B : Qux
-{
- want_foo_for_any_tcx(b);
- want_bar_for_any_ccx(b); //~ ERROR
-}
-
-fn main() {}