``` [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()) ```