{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
#[instrument(level = "debug", skip(tcx, predicates), ret)]
fn const_evaluatable_predicates_of<'tcx>(