- Notifications
You must be signed in to change notification settings - Fork 1.1k
Open
Labels
area:coverageCode coverage, see https://dotty.epfl.ch/docs/internals/coverage.htmlCode coverage, see https://dotty.epfl.ch/docs/internals/coverage.htmlarea:experimentalarea:nullabilityitype:bug
Description
Compiler version
3.4.2 and 3.5.0-RC1, so probably all
Minimized code
With -Yexplicit-nulls
and coverage enabled (project available at https://github.com/mohe2015/scala3-broken-coverage-explicit-nulls)
@main def hello(): Unit = println("Hello world!".nn)
Output
The expression is not marked as covered:
Expectation
All code is covered.
Metadata
Metadata
Assignees
Labels
area:coverageCode coverage, see https://dotty.epfl.ch/docs/internals/coverage.htmlCode coverage, see https://dotty.epfl.ch/docs/internals/coverage.htmlarea:experimentalarea:nullabilityitype:bug