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 Trait for T { + default type Type = u64; // 'default' should not be removed +}