{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"///"}]}
    /// that passed the target test.
    /// Returns: a series of constraints as well as the region `R`
    #[instrument(skip(self, target_test), ret)]