diff options
author | Martin Odersky <odersky@gmail.com> | 2016-11-03 19:19:34 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-11-03 19:19:43 +0100 |
commit | ba8c4c8a592e9070b5a7c1d887daed16e11d732d (patch) | |
tree | fbfccd5323f626628416883c4299a20ab4ed0570 /tests | |
parent | 98a92c6f4ec743edb9465071dcfd43f17dbf054b (diff) | |
download | dotty-ba8c4c8a592e9070b5a7c1d887daed16e11d732d.tar.gz dotty-ba8c4c8a592e9070b5a7c1d887daed16e11d732d.tar.bz2 dotty-ba8c4c8a592e9070b5a7c1d887daed16e11d732d.zip |
Fix #1652: Make assertion more robust
An assertion fired giving a false negative after a fuzzing
test which introduced an ill-kinded type argument.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/i1652.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/pos/i1652.scala b/tests/pos/i1652.scala new file mode 100644 index 000000000..a48b500fa --- /dev/null +++ b/tests/pos/i1652.scala @@ -0,0 +1,5 @@ +object Test { + val v: Array[Array[Array]] = Array() // happens because of the kindedness error here. + def f[T](w: Array[Array[T]]) = { for (r <- w) () } + f(v) +} |