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