diff options
Diffstat (limited to 'src/test/ui/unboxed-closures/unboxed-closure-sugar-region.rs')
-rw-r--r-- | src/test/ui/unboxed-closures/unboxed-closure-sugar-region.rs | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/src/test/ui/unboxed-closures/unboxed-closure-sugar-region.rs b/src/test/ui/unboxed-closures/unboxed-closure-sugar-region.rs new file mode 100644 index 000000000..65f40075b --- /dev/null +++ b/src/test/ui/unboxed-closures/unboxed-closure-sugar-region.rs @@ -0,0 +1,36 @@ +// Test interaction between unboxed closure sugar and region +// parameters (should be exactly as if angle brackets were used +// and regions omitted). + +#![feature(unboxed_closures)] +#![allow(dead_code)] + +use std::marker; + +trait Foo<'a,T> { + type Output; + fn dummy(&'a self) -> &'a (T,Self::Output); +} + +trait Eq<X: ?Sized> { fn is_of_eq_type(&self, x: &X) -> bool { true } } +impl<X: ?Sized> Eq<X> for X { } +fn eq<A: ?Sized,B: ?Sized +Eq<A>>() { } + +fn same_type<A,B:Eq<A>>(a: A, b: B) { } + +fn test<'a,'b>() { + // Parens are equivalent to omitting default in angle. + eq::< dyn Foo<(isize,),Output=()>, dyn Foo(isize) >(); + + // Here we specify 'static explicitly in angle-bracket version. + // Parenthesized winds up getting inferred. + eq::< dyn Foo<'static, (isize,),Output=()>, dyn Foo(isize) >(); +} + +fn test2(x: &dyn Foo<(isize,),Output=()>, y: &dyn Foo(isize)) { + //~^ ERROR this trait takes 1 lifetime argument but 0 lifetime arguments were supplied + // Here, the omitted lifetimes are expanded to distinct things. + same_type(x, y) +} + +fn main() { } |