{"ast_node_type":"impl","tokens":[{"end":44,"kind":"keyword","start":0,"text":"impl"}]}
impl Foo<i64> for i32 { type Bar<U> = i32; }
trait Foo<T> { type Bar<U>; }
fn foo(arg: <<i32 as Foo<i64>>::Bar<i8> as Foo<i64>>::Bar<i8>) {}