{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"ty::Int(int_ty)"}]}
        ty::Int(int_ty) => int_ty.name_str(),
    let typedef_name = match t.kind() {
        ty::Uint(uint_ty) => uint_ty.name_str(),