{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"Res::Def(DefKind::ConstParam,"}]}
            Res::Def(DefKind::ConstParam, def_id) => {
            }
                // Same as for DefKind::Const above, but here, `binding` is `None`, so we