test: add test for #4954

This commit is contained in:
Eric 2021-08-30 21:13:42 +12:00 committed by Caleb Cartwright
parent 33d1368674
commit bfc60466bd
2 changed files with 12 additions and 0 deletions

View file

@ -0,0 +1,5 @@
trait Foo {
type Arg<'a>;
}
struct Bar<T>(T) where for<'a> T: Foo<Arg<'a> = ()>;

View file

@ -0,0 +1,7 @@
trait Foo {
type Arg<'a>;
}
struct Bar<T>(T)
where
for<'a> T: Foo<Arg<'a> = ()>;