Unexpected widening of singleton value operations

typelevel / scala

Typelevel Scala, a fork of Scala

http://typelevel.org/scala/

372 stars 21 forks source link

Closed soronpo closed 6 years ago

soronpo commented 7 years ago

final val a : 1 = 1
final val fails : 2 = a + a //fail
final val works : 2 = a + 1

final val aok = 1
final val also_works : 2 = aok + aok

FYI, compiles in dotty.

milessabin commented 6 years ago