From 4f91f02ad1b0746dbf2dec5ca7a9629dbb38a973 Mon Sep 17 00:00:00 2001
From: David Wickes <dave.wickes@gmail.com>
Date: Thu, 23 Feb 2017 22:18:09 +0000
Subject: [PATCH] Test for #1255
Default annotation incorrectly removed on associated type.
---
tests/target/issue-1255.rs | 10 ++++++++++
1 file changed, 10 insertions(+)
create mode 100644 tests/target/issue-1255.rs
diff --git a/tests/target/issue-1255.rs b/tests/target/issue-1255.rs
new file mode 100644
index 00000000000..2d4633844a9
--- /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
+}