{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"#[tracing::instrument(level"}]}
    #[tracing::instrument(level = "trace", skip(self, tcx, body))]
impl<'tcx> MirPass<'tcx> for ImpossiblePredicates {
    fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {