diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-87748.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-87748.rs | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/generic-associated-types/issue-87748.rs b/src/test/ui/generic-associated-types/issue-87748.rs deleted file mode 100644 index 6cbe3d902..000000000 --- a/src/test/ui/generic-associated-types/issue-87748.rs +++ /dev/null @@ -1,21 +0,0 @@ -// Checks that we properly add implied bounds from unnormalized projections in -// inputs when typechecking functions. - -// check-pass - -trait MyTrait { - type Assoc<'a, 'b> where 'b: 'a; - fn do_sth(arg: Self::Assoc<'_, '_>); - fn do_sth2(arg: Self::Assoc<'_, '_>) {} -} - -struct Foo; - -impl MyTrait for Foo { - type Assoc<'a, 'b> = u32 where 'b: 'a; - - fn do_sth(_: u32) {} - fn do_sth2(_: Self::Assoc<'static, 'static>) {} -} - -fn main() {} |