Singleton Array default value

[hobwekiva]

scala> val a : Array[1] = new Array(1)
a: Array[1] = Array(0)

scala> val a : Array[1] = Array.ofDim(2)
a: Array[1] = Array(0, 0)

scala> val x : 1 = a(0)
x: 1 = 0

arguably I should not be able to construct 0 : 1 so easily

Tested in 2.13.0-M3 REPL

---

EDIT: There is no need for arrays:

scala> val a : 1 = a
                   ^
       warning: value a does nothing other than call itself recursively
a: 1 = 0

[milessabin]

The Array variant is new. There's been some discussion of the non-Array manifestation ... I thought on the SIP-23 PR but I can't find it just now. The TL;DR is that we should make this work the same way as Dotty (which is more in line with your expectations).

[milessabin]

@adriaanm I'm afraid I'm not going to have time to dig in to this for a week or two.

[szeiger]

@milessabin Is there any progress on this for 2.13.1? Otherwise please move to 2.13.2.

[milessabin]

None, I'm afraid.