{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"self.universal_region_relations.non_local_upper_bounds(shorter_fr);"}]}
                self.universal_region_relations.non_local_upper_bounds(shorter_fr);
            let shorter_fr_plus =
            debug!("try_propagate_universal_region_error: shorter_fr_plus={:?}", shorter_fr_plus);