diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2014-05-09 15:27:32 +0200 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2014-05-09 15:27:32 +0200 |
commit | 7523ed37d5a4eeb2664f9ddf2cad09b70aa81877 (patch) | |
tree | ee5196ad88d0be934e08441205acacafe6f39dd0 /test/files/neg | |
parent | 7bac372a85e5a06ec147ec648caab76df704d8dc (diff) | |
parent | 1ba2d7bb967ded0c19ff2cf966c492adc12292bb (diff) | |
download | scala-7523ed37d5a4eeb2664f9ddf2cad09b70aa81877.tar.gz scala-7523ed37d5a4eeb2664f9ddf2cad09b70aa81877.tar.bz2 scala-7523ed37d5a4eeb2664f9ddf2cad09b70aa81877.zip |
Merge pull request #3719 from retronym/ticket/8546
SI-8546 Pattern matcher analysis foiled by over-widening
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/t6771b.check | 2 | ||||
-rw-r--r-- | test/files/neg/t6771b.scala | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/test/files/neg/t6771b.check b/test/files/neg/t6771b.check index ba99e9178d..0c9fae533e 100644 --- a/test/files/neg/t6771b.check +++ b/test/files/neg/t6771b.check @@ -1,4 +1,4 @@ -t6771b.scala:14: error: type mismatch; +t6771b.scala:12: error: type mismatch; found : x.type (with underlying type String) required: Test.a.type b = b match { case x => x } diff --git a/test/files/neg/t6771b.scala b/test/files/neg/t6771b.scala index 78f11f7750..9723f70290 100644 --- a/test/files/neg/t6771b.scala +++ b/test/files/neg/t6771b.scala @@ -6,8 +6,6 @@ // But, to the intrepid hacker who works on this, a few notes: // You'll have to look into places in the pattern matcher that // call `dealias`, and see if they need to be `dealiasWiden`. -// For example, if `checkableType` used only `dealias`, `pos/t6671.scala` -// would fail. object Test { val a = ""; var b: a.type = a |