Change inference.md as needed for 4718 - #4724

Change inference.md as needed for 4718#4724

eernstg wants to merge 2 commits into

maindart-lang/language:mainfrom

spec_4718_jul26dart-lang/language:spec_4718_jul26Copy head branch name to clipboard