{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"for"}]}
            for fr in shorter_fr_plus {
            debug!("try_propagate_universal_region_error: shorter_fr_plus={:?}", shorter_fr_plus);
                // Push the constraint `fr-: shorter_fr+`