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