{"ast_node_type":"function","tokens":[{"end":52,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn must_apply_modulo_regions(self) -> bool {
    /// outlives constraints.
        self <= EvaluatedToOkModuloRegions