Suppress spurious warnings generated for do-body statements
Fixes #8671
The fix is to check not only non-unit types but also non-empty types while generating the warning about discarding values in do blocks.
Fixes #8671
The fix is to check not only non-unit types but also non-empty types while generating the warning about discarding values in do blocks.