{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":")"}]}
    ) -> Option<FreeRegionInfo> {
        mut region: Region<'tcx>,
        let (suitable_region_binding_scope, region_def_id) = loop {