Test for #1255

Default annotation incorrectly removed on associated type.

diff --git a/tests/target/issue-1255.rs b/tests/target/issue-1255.rs
new file mode 100644 (file)
index 0000000..2d46338
--- /dev/null
+++ b/tests/target/issue-1255.rs
@@ -0,0 +1,10 @@
+// Test for issue #1255
+// Default annotation incorrectly removed on associated types
+#![feature(specialization)]
+
+trait Trait {
+    type Type;
+}
+impl<T> Trait for T {
+    default type Type = u64; // 'default' should not be removed
+}