diff options
Diffstat (limited to 'src/test/ui/unboxed-closures/unboxed-closure-sugar-default.rs')
-rw-r--r-- | src/test/ui/unboxed-closures/unboxed-closure-sugar-default.rs | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/src/test/ui/unboxed-closures/unboxed-closure-sugar-default.rs b/src/test/ui/unboxed-closures/unboxed-closure-sugar-default.rs deleted file mode 100644 index f1c83f060..000000000 --- a/src/test/ui/unboxed-closures/unboxed-closure-sugar-default.rs +++ /dev/null @@ -1,28 +0,0 @@ -// Test interaction between unboxed closure sugar and default type -// parameters (should be exactly as if angle brackets were used). - -#![feature(unboxed_closures)] -#![allow(dead_code)] - -trait Foo<T,V=T> { - type Output; - fn dummy(&self, t: T, v: V); -} - -trait Eq<X: ?Sized> { fn same_types(&self, x: &X) -> bool { true } } -impl<X: ?Sized> Eq<X> for X { } -fn eq<A: ?Sized,B: ?Sized>() where A : Eq<B> { } - -fn test<'a,'b>() { - // Parens are equivalent to omitting default in angle. - eq::<dyn Foo<(isize,), Output=()>, dyn Foo(isize)>(); - - // In angle version, we supply something other than the default - eq::<dyn Foo<(isize,), isize, Output=()>, dyn Foo(isize)>(); - //~^ ERROR E0277 - - // Supply default explicitly. - eq::<dyn Foo<(isize,), (isize,), Output=()>, dyn Foo(isize)>(); -} - -fn main() { } |