diff options
Diffstat (limited to 'tests/ui/specialization/default-generic-associated-type-bound.rs')
-rw-r--r-- | tests/ui/specialization/default-generic-associated-type-bound.rs | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/tests/ui/specialization/default-generic-associated-type-bound.rs b/tests/ui/specialization/default-generic-associated-type-bound.rs new file mode 100644 index 000000000..31a0685d0 --- /dev/null +++ b/tests/ui/specialization/default-generic-associated-type-bound.rs @@ -0,0 +1,25 @@ +// Check that default generics associated types are validated. + +#![feature(specialization)] +//~^ WARNING `specialization` is incomplete + +trait X { + type U<'a>: PartialEq<&'a Self> where Self: 'a; + fn unsafe_compare<'b>(x: Option<Self::U<'b>>, y: Option<&'b Self>) { + match (x, y) { + (Some(a), Some(b)) => a == b, + _ => false, + }; + } +} + +impl<T: 'static> X for T { + default type U<'a> = &'a T; + //~^ ERROR can't compare `T` with `T` +} + +struct NotComparable; + +pub fn main() { + <NotComparable as X>::unsafe_compare(None, None); +} |