diff options
| author | Paul Phillips <paulp@improving.org> | 2012-02-28 09:16:03 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-02-28 09:49:02 -0800 |
| commit | c11ec6f532449f110c3b776b11f0b2c4398fe0f9 (patch) | |
| tree | 0e5a5f13dfa53d7cdc093099b3dfe46063ae4409 /test/files/pos/t5406.scala | |
| parent | f3711b634ccfa6ef4ab14ffc8d12d244de6917c2 (diff) | |
| download | scala-c11ec6f532449f110c3b776b11f0b2c4398fe0f9.tar.gz scala-c11ec6f532449f110c3b776b11f0b2c4398fe0f9.tar.bz2 scala-c11ec6f532449f110c3b776b11f0b2c4398fe0f9.zip | |
Fix for typing of objects in patterns.
An object in a pattern should have type "Foo.type" just as
objects not in patterns do. Closes SI-5406. Review by @moors.
Diffstat (limited to 'test/files/pos/t5406.scala')
| -rw-r--r-- | test/files/pos/t5406.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/files/pos/t5406.scala b/test/files/pos/t5406.scala new file mode 100644 index 0000000000..c2e42c0ac3 --- /dev/null +++ b/test/files/pos/t5406.scala @@ -0,0 +1,4 @@ +object Wuffles { } +object Test { + def f = (Some(Wuffles): Option[Wuffles.type]) match { case Some(Wuffles) => println("Woof"); case _ => println("Meow") } +} |