diff options
author | Martin Odersky <odersky@gmail.com> | 2009-08-16 16:29:36 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-08-16 16:29:36 +0000 |
commit | 110b737f99c4e4850f9a0f861db6b9f831ae056e (patch) | |
tree | 35db6883632ffdef4c49f0699cf330f9526ce6c9 /test/files/pos | |
parent | fe72ad6351aa3e06c894972e959fa768ed60a515 (diff) | |
download | scala-110b737f99c4e4850f9a0f861db6b9f831ae056e.tar.gz scala-110b737f99c4e4850f9a0f861db6b9f831ae056e.tar.bz2 scala-110b737f99c4e4850f9a0f861db6b9f831ae056e.zip |
1.
2. Relaxed bounds checking rules for existential types.
Diffstat (limited to 'test/files/pos')
-rwxr-xr-x | test/files/pos/t1560.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/files/pos/t1560.scala b/test/files/pos/t1560.scala new file mode 100755 index 0000000000..49cdaaed6a --- /dev/null +++ b/test/files/pos/t1560.scala @@ -0,0 +1,13 @@ +object Test extends Application { + + trait C[T] { + def t: T + } + + def b: Option[C[x] forSome { type x }] = null + + def c = b match { + case Some(b) => b.t + } + +} |