Closes #3497.

1 files changed, 16 insertions, 0 deletions

diff --git a/test/files/pos/spec-t3497.scala b/test/files/pos/spec-t3497.scala
new file mode 100644
index 0000000000..ff054aa7de
--- /dev/null
+++ b/test/files/pos/spec-t3497.scala
@@ -0,0 +1,16 @@
+abstract class A[T, @specialized U] {
+    def score(state: T): U
+}
+
+object B extends A[ Array[Byte], Int ] {
+  def score(state: Array[Byte]): Int = {
+    var index = 0
+    while (index < state.length) { // (index < 2) leads to the #2755 NullPointerException
+      if (state(index) == 0) {
+        return -1
+      }
+    }
+
+    return 0
+  }
+}