{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
        //   region `'r`, all of which are provided by our caller
        // - `'r: 'fn_body` for every (other) universally quantified
        let fr_static = self.universal_regions.fr_static;