diff options
Diffstat (limited to 'tests/ui/specialization/specialization-projection-alias.rs')
-rw-r--r-- | tests/ui/specialization/specialization-projection-alias.rs | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/ui/specialization/specialization-projection-alias.rs b/tests/ui/specialization/specialization-projection-alias.rs new file mode 100644 index 000000000..f1f0b47bb --- /dev/null +++ b/tests/ui/specialization/specialization-projection-alias.rs @@ -0,0 +1,26 @@ +// run-pass +#![allow(dead_code)] +#![allow(unused_variables)] + +#![feature(specialization)] //~ WARN the feature `specialization` is incomplete + +// Regression test for ICE when combining specialized associated types and type +// aliases + +trait Id_ { + type Out; +} + +type Id<T> = <T as Id_>::Out; + +impl<T> Id_ for T { + default type Out = T; +} + +fn test_proection() { + let x: Id<bool> = panic!(); +} + +fn main() { + +} |