fn main() {} struct Foo[U] { Bar[T] foo U bar P } struct Bar[T] { }