summaryrefslogtreecommitdiffstats
path: root/tests/ui/higher-rank-trait-bounds/issue-102899.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/higher-rank-trait-bounds/issue-102899.rs')
-rw-r--r--tests/ui/higher-rank-trait-bounds/issue-102899.rs32
1 files changed, 0 insertions, 32 deletions
diff --git a/tests/ui/higher-rank-trait-bounds/issue-102899.rs b/tests/ui/higher-rank-trait-bounds/issue-102899.rs
deleted file mode 100644
index 952b81584..000000000
--- a/tests/ui/higher-rank-trait-bounds/issue-102899.rs
+++ /dev/null
@@ -1,32 +0,0 @@
-// check-pass
-
-pub trait BufferTrait<'buffer> {
- type Subset<'channel>
- where
- 'buffer: 'channel;
-
- fn for_each_subset<F>(&self, f: F)
- where
- F: for<'channel> Fn(Self::Subset<'channel>);
-}
-
-pub struct SomeBuffer<'buffer> {
- samples: &'buffer [()],
-}
-
-impl<'buffer> BufferTrait<'buffer> for SomeBuffer<'buffer> {
- type Subset<'subset> = Subset<'subset> where 'buffer: 'subset;
-
- fn for_each_subset<F>(&self, _f: F)
- where
- F: for<'subset> Fn(Subset<'subset>),
- {
- todo!()
- }
-}
-
-pub struct Subset<'subset> {
- buffer: &'subset [()],
-}
-
-fn main() {}