diff options
Diffstat (limited to '')
| -rw-r--r-- | src/test/ui/anonymous-higher-ranked-lifetime.rs | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/test/ui/anonymous-higher-ranked-lifetime.rs b/src/test/ui/anonymous-higher-ranked-lifetime.rs new file mode 100644 index 000000000..898fe22fa --- /dev/null +++ b/src/test/ui/anonymous-higher-ranked-lifetime.rs @@ -0,0 +1,30 @@ +fn main() { + f1(|_: (), _: ()| {}); //~ ERROR type mismatch + f2(|_: (), _: ()| {}); //~ ERROR type mismatch + f3(|_: (), _: ()| {}); //~ ERROR type mismatch + f4(|_: (), _: ()| {}); //~ ERROR type mismatch + f5(|_: (), _: ()| {}); //~ ERROR type mismatch + g1(|_: (), _: ()| {}); //~ ERROR type mismatch + g2(|_: (), _: ()| {}); //~ ERROR type mismatch + g3(|_: (), _: ()| {}); //~ ERROR type mismatch + g4(|_: (), _: ()| {}); //~ ERROR type mismatch + h1(|_: (), _: (), _: (), _: ()| {}); //~ ERROR type mismatch + h2(|_: (), _: (), _: (), _: ()| {}); //~ ERROR type mismatch +} + +// Basic +fn f1<F>(_: F) where F: Fn(&(), &()) {} +fn f2<F>(_: F) where F: for<'a> Fn(&'a (), &()) {} +fn f3<'a, F>(_: F) where F: Fn(&'a (), &()) {} +fn f4<F>(_: F) where F: for<'r> Fn(&(), &'r ()) {} +fn f5<F>(_: F) where F: for<'r> Fn(&'r (), &'r ()) {} + +// Nested +fn g1<F>(_: F) where F: Fn(&(), Box<dyn Fn(&())>) {} +fn g2<F>(_: F) where F: Fn(&(), fn(&())) {} +fn g3<F>(_: F) where F: for<'s> Fn(&'s (), Box<dyn Fn(&())>) {} +fn g4<F>(_: F) where F: Fn(&(), for<'r> fn(&'r ())) {} + +// Mixed +fn h1<F>(_: F) where F: Fn(&(), Box<dyn Fn(&())>, &(), fn(&(), &())) {} +fn h2<F>(_: F) where F: for<'t0> Fn(&(), Box<dyn Fn(&())>, &'t0 (), fn(&(), &())) {} |