{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"Self::iterate_region_constraints("}]}
        Self::iterate_region_constraints(
        // Note that if `R2: R1`, we get a callback `r1, r2`, so `target` is first parameter.
            region_constraints,