{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"(ty::Int(ty::IntTy::I32),"}]}
        (ty::Int(ty::IntTy::I32), ty::Char) => (
        // i32 → char
            Some(vec![