{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"}));"}]}
            }));
                local_id: type_or_consts.alloc(param.into()),
            let type_ref = ec.alloc_type_ref(param_id, ptr);