summaryrefslogtreecommitdiffstats
path: root/src/test/ui/unboxed-closures/unboxed-closure-sugar-default.rs
diff options
context:
space:
mode:
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.rs28
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() { }