{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"\"`ConstArgHasType`"}]}
                                "`ConstArgHasType` in `predicates_of`\
                            _ => bug!(
                                 that isn't a `Param` const"