{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"{"}]}
        {
            && let Some(fr_minus) = self.universal_region_relations.non_local_lower_bound(longer_fr)
            debug!("try_propagate_universal_region_error: fr_minus={:?}", fr_minus);