diff options
| author | Adriaan Moors <adriaan@lightbend.com> | 2016-11-29 16:11:09 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-29 16:11:09 -0800 |
| commit | 71a2cad36fa3c69d2ff3461f6a60ba5c846fb05e (patch) | |
| tree | 6e29efe38ccd2ccca67ee24a936e985dae10b35f /test | |
| parent | dd7a53c00a218dab374e3e27d52c1574c811f844 (diff) | |
| parent | dde82ae61685698e66cb260ed1d66a0ba1b3c2da (diff) | |
| download | scala-71a2cad36fa3c69d2ff3461f6a60ba5c846fb05e.tar.gz scala-71a2cad36fa3c69d2ff3461f6a60ba5c846fb05e.tar.bz2 scala-71a2cad36fa3c69d2ff3461f6a60ba5c846fb05e.zip | |
Merge pull request #5536 from retronym/ticket/SD-268
Fix more compiler crashes with fields, refinement types
Diffstat (limited to 'test')
| -rw-r--r-- | test/files/pos/sd268.scala | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/files/pos/sd268.scala b/test/files/pos/sd268.scala new file mode 100644 index 0000000000..8839651501 --- /dev/null +++ b/test/files/pos/sd268.scala @@ -0,0 +1,17 @@ +class Context(val v : AnyRef) + +trait AbidePlugin { + val someVal = "" + + val x = null.asInstanceOf[Context { val v : someVal.type }] // CRASH + lazy val y = null.asInstanceOf[Context { val v : someVal.type }] // CRASH + var z = null.asInstanceOf[Context { val v : someVal.type }] // CRASH +} + +class C { + val someVal = "" + + val x = null.asInstanceOf[Context { val v : someVal.type }] + lazy val y = null.asInstanceOf[Context { val v : someVal.type }] // CRASH + var z = null.asInstanceOf[Context { val v : someVal.type }] +} |