{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"ty::TermKind::Ty(ty)"}]}
            ty::TermKind::Ty(ty) => {
        let universe_of_term = match goal.predicate.term.kind() {
                if let ty::Infer(ty::TyVar(vid)) = ty.kind() {