diff options
Diffstat (limited to 'src/test/ui/specialization/default-generic-associated-type-bound.rs')
-rw-r--r-- | src/test/ui/specialization/default-generic-associated-type-bound.rs | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/test/ui/specialization/default-generic-associated-type-bound.rs b/src/test/ui/specialization/default-generic-associated-type-bound.rs new file mode 100644 index 000000000..0f5714e99 --- /dev/null +++ b/src/test/ui/specialization/default-generic-associated-type-bound.rs @@ -0,0 +1,26 @@ +// Check that default generics associated types are validated. + +#![feature(specialization)] +#![feature(generic_associated_types)] +//~^^ 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); +} |