Removing a requirement in `toi_promote` which is confusing and unnece…#4507

eernstg wants to merge 2 commits intomaindart-lang/language:mainfrom

spec_toi_promote_sep25dart-lang/language:spec_toi_promote_sep25Copy head branch name to clipboard