{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"Const::Ty(_,"}]}
        Const::Ty(_, c) => {
        }
            bug!("expected ConstKind::Param or ConstKind::Value here, found {:?}", c)