{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"ty::Int(int_ty)"}]}
        ty::Int(int_ty) => output.push_str(int_ty.name_str()),
        }
        ty::Uint(uint_ty) => output.push_str(uint_ty.name_str()),