summaryrefslogtreecommitdiffstats
path: root/src/test/ui/higher-rank-trait-bounds/issue-100689.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/higher-rank-trait-bounds/issue-100689.rs')
-rw-r--r--src/test/ui/higher-rank-trait-bounds/issue-100689.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/higher-rank-trait-bounds/issue-100689.rs b/src/test/ui/higher-rank-trait-bounds/issue-100689.rs
deleted file mode 100644
index 2db7f8a35..000000000
--- a/src/test/ui/higher-rank-trait-bounds/issue-100689.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// check-pass
-
-struct Foo<'a> {
- foo: &'a mut usize,
-}
-
-trait Bar<'a> {
- type FooRef<'b>
- where
- 'a: 'b;
- fn uwu(foo: Foo<'a>, f: impl for<'b> FnMut(Self::FooRef<'b>));
-}
-impl<'a> Bar<'a> for () {
- type FooRef<'b>
- =
- &'b Foo<'a>
- where
- 'a : 'b,
- ;
-
- fn uwu(
- foo: Foo<'a>,
- mut f: impl for<'b> FnMut(&'b Foo<'a>), //relevant part
- ) {
- f(&foo);
- }
-}
-
-fn main() {}