typing deviation: array addition does not type

[DarkDimius]

[info] /Users/dark/workspace/dotty/tests/partest-generated/run/array-addition.scala:14: error: type mismatch:
[info]  found   : Array[Nothing']
[info]  required: ?{ +:: ? }
[info]     prettyPrintArray(1 +: Array())