Add test to check that we handle predicates that can define assoc types correctly

This commit is contained in:
Santiago Pastorino 2020-11-25 10:31:48 -03:00
parent 67ea9b227f
commit b02a905d93
No known key found for this signature in database
GPG Key ID: 8131A24E0C79EFAF

View File

@ -0,0 +1,10 @@
// check-pass
trait Foo<T> {}
trait Bar {
type A;
type B;
}
trait Baz: Bar<B = u32> + Foo<Self::A> {}
fn main() {}