{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"///"}]}
    /// * R: P1, R: P2, as above
    /// * R: P1, even if R cannot name P1, because R = 'static is a valid sol'n
    #[instrument(level = "debug", skip(self, tcx, only_consider_snapshot), ret)]