-
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.htmlitype:bug
Description
Compiler version
- 3.3.4
- 3.6.4
Minimized code
//> using option "-coverage-out:coverage"
object Unbox extends App {
val m = new java.util.HashMap[String, Double]()
def method: Option[Double] = Option(m.get(""))
println(method)
}
Output
With coverage:
Some(0.0)
Without coverage:
None
Expectation
Unboxing of null Boxed primitives should not depend on coverage being enabled/disabled. I would expect None
to be printed in both contexts.
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.htmlitype:bug