{"ast_node_type":"import","tokens":[{"end":106,"kind":"keyword","start":0,"text":"//"}]}
                // because it allows `impl<T> Foo<T>` to unify with `Foo<u8>::IAT`, while also disallowing
                // We treat parameters in the self ty as rigid and parameters in the impl ty as infers
                // `Foo<T>::IAT` from unifying with `impl Foo<u8>`.