{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"ty::Infer(ty::InferTy::IntVar(_))"}]}
            ty::Infer(ty::InferTy::IntVar(_)) => Some(CastTy::Int(IntTy::I)),
            ty::Int(_) => Some(CastTy::Int(IntTy::I)),
            ty::Infer(ty::InferTy::FloatVar(_)) => Some(CastTy::Float),