1 // Regression test for #68656
3 #![feature(generic_associated_types)]
4 //~^ WARNING the feature `generic_associated_types` is incomplete and may not
6 trait UnsafeCopy<T: Copy> {
7 type Item<'a>: std::ops::Deref<Target = T>;
9 fn bug<'a>(item: &Self::Item<'a>) -> () {
15 impl<T: Copy + std::ops::Deref> UnsafeCopy<T> for T {
17 //~^ ERROR type mismatch resolving `<T as Deref>::Target == T`
21 <&'static str>::bug(&"");