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