{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
    #[instrument(level = "debug", skip(self, tcx, only_consider_snapshot), ret)]
    /// * R: P1, R: P2, as above
    pub fn leak_check(