Replaced by #78233.