diff options
| author | Martin Odersky <odersky@gmail.com> | 2011-03-07 07:54:48 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2011-03-07 07:54:48 +0000 |
| commit | 2edab8991bc07ce0eecb3a85d8317e31f98df840 (patch) | |
| tree | 53d44728bf4af30631b2635dd0f3a9efd66edfc3 /test/files/neg | |
| parent | 1ff7cd53e3045a62f2bea37a83b4dbc37ee380e9 (diff) | |
| download | scala-2edab8991bc07ce0eecb3a85d8317e31f98df840.tar.gz scala-2edab8991bc07ce0eecb3a85d8317e31f98df840.tar.bz2 scala-2edab8991bc07ce0eecb3a85d8317e31f98df840.zip | |
Closes #3987. Review by extempore.
Diffstat (limited to 'test/files/neg')
| -rw-r--r-- | test/files/neg/t3987.check | 6 | ||||
| -rw-r--r-- | test/files/neg/t3987.scala | 13 |
2 files changed, 19 insertions, 0 deletions
diff --git a/test/files/neg/t3987.check b/test/files/neg/t3987.check new file mode 100644 index 0000000000..d72e2d4828 --- /dev/null +++ b/test/files/neg/t3987.check @@ -0,0 +1,6 @@ +t3987.scala:11: error: type mismatch; + found : Gox + required: Test.GoxZed + val y: GoxZed = x + ^ +one error found diff --git a/test/files/neg/t3987.scala b/test/files/neg/t3987.scala new file mode 100644 index 0000000000..1226d80228 --- /dev/null +++ b/test/files/neg/t3987.scala @@ -0,0 +1,13 @@ +class Gox { + object Zed { } + class Zed { } +} + +object Test { + type GoxZed = t#Zed forSome { type t <: Gox } + + def main(args: Array[String]): Unit = { + val x = new Gox + val y: GoxZed = x + } +} |