{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"TyKind::InferenceVar(..)"}]}
                    TyKind::InferenceVar(..) | TyKind::OpaqueType(..)
                    from_ty.kind(Interner),
                ) {