{"ast_node_type":"impl","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
                // `Foo<T>::IAT` from unifying with `impl Foo<u8>`.
                // because it allows `impl<T> Foo<T>` to unify with `Foo<u8>::IAT`, while also disallowing
                //