{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"TyKind::InferenceVar(iv,"}]}
                        TyKind::InferenceVar(iv, TyVariableKind::General) if *iv == root,
                        self.resolve_ty_shallow(&uncanonical).kind(Interner),
                    ) {