Adjust NNBD_TOP_MERGE such that void does not prevail #824

eernstg wants to merge 1 commit intomasterdart-lang/language:masterfrom

adjust_nnbd_top_merge_feb20dart-lang/language:adjust_nnbd_top_merge_feb20Copy head branch name to clipboard