{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"ty::Infer(ty::TyVar(v))"}]}
            ty::Infer(ty::TyVar(v)) => Some(TyOrConstInferVar::Ty(v)),
        match *ty.kind() {
            ty::Infer(ty::IntVar(v)) => Some(TyOrConstInferVar::TyInt(v)),