{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"*has_errors"}]}
            *has_errors =
            *subst = table.resolve_completely(subst.clone());
                *has_errors || subst.type_parameters(Interner).any(|ty| ty.contains_unknown());