diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-76407.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-76407.rs | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/generic-associated-types/issue-76407.rs b/src/test/ui/generic-associated-types/issue-76407.rs deleted file mode 100644 index 9556ec6da..000000000 --- a/src/test/ui/generic-associated-types/issue-76407.rs +++ /dev/null @@ -1,25 +0,0 @@ -// check-pass - -trait Marker {} - -impl Marker for u32 {} - -trait MyTrait { - type Item<'a>; -} - -struct MyStruct; - -impl MyTrait for MyStruct { - type Item<'a> = u32; -} - -fn ty_check<T>() -where - T: MyTrait, - for<'a> T::Item<'a>: Marker -{} - -fn main() { - ty_check::<MyStruct>(); -} |