diff options
| author | Adriaan Moors <adriaan@lightbend.com> | 2017-02-16 14:43:58 -0800 |
|---|---|---|
| committer | Adriaan Moors <adriaan@lightbend.com> | 2017-02-19 15:02:54 -0800 |
| commit | c396e965f1954cb899a1f6ae55ccae1c78284a18 (patch) | |
| tree | 3a5f9a539e9280becb5ebe4a1a1d850c05e46544 /test | |
| parent | 2fec08b02a5b1c27dc7e41a7b72dbb112e042d06 (diff) | |
| download | scala-c396e965f1954cb899a1f6ae55ccae1c78284a18.tar.gz scala-c396e965f1954cb899a1f6ae55ccae1c78284a18.tar.bz2 scala-c396e965f1954cb899a1f6ae55ccae1c78284a18.zip | |
Ignore BoundedWildcardType in erasure type map
This case can be triggered as illustrated in the test.
Diffstat (limited to 'test')
| -rw-r--r-- | test/files/pos/sam_erasure_boundedwild.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/files/pos/sam_erasure_boundedwild.scala b/test/files/pos/sam_erasure_boundedwild.scala new file mode 100644 index 0000000000..1ec27e0ea4 --- /dev/null +++ b/test/files/pos/sam_erasure_boundedwild.scala @@ -0,0 +1,11 @@ +class Test { + trait Q[T] { + def toArray[T](x: Array[T]): Array[T] + def toArray(): Array[T] + } + + def crashTyper: Array[_] = { + val x : Q[_] = ??? + x.toArray // crashes while doing overload resolution + } +}
\ No newline at end of file |