{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
    #[instrument(level = "trace", skip(cx), ret)]
    fn in_any_value_of_ty<'tcx>(cx: &ConstCx<'_, 'tcx>, ty: Ty<'tcx>) -> bool {