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/neg/t4879.check | |
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/neg/t4879.check')
-rw-r--r-- | test/files/neg/t4879.check | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/neg/t4879.check b/test/files/neg/t4879.check index 49f3c73cf7..94758c751c 100644 --- a/test/files/neg/t4879.check +++ b/test/files/neg/t4879.check @@ -1,11 +1,11 @@ t4879.scala:6: error: pattern type is incompatible with expected type; - found : object C + found : C.type (with underlying type object C) required: C Note: if you intended to match against the class, try `case _: C` or `case C(_)` case C => true ^ t4879.scala:10: error: pattern type is incompatible with expected type; - found : object D + found : D.type (with underlying type object D) required: D[T,U,V] Note: if you intended to match against the class, try `case _: D[_,_,_]` or `case D(_,_,_)` case D => true |