diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2014-04-29 14:38:35 +0200 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2014-05-07 15:45:19 +0200 |
commit | 1ba2d7bb967ded0c19ff2cf966c492adc12292bb (patch) | |
tree | 1bb3f342d8a2060b461020c9e3431bbd3eff2a58 /test/files/neg/t6771b.check | |
parent | ca9003e453873c496c72c431f0e5f9f3eaf31511 (diff) | |
download | scala-1ba2d7bb967ded0c19ff2cf966c492adc12292bb.tar.gz scala-1ba2d7bb967ded0c19ff2cf966c492adc12292bb.tar.bz2 scala-1ba2d7bb967ded0c19ff2cf966c492adc12292bb.zip |
SI-8546 Pattern matcher analysis foiled by over-widening
In the enclosed test, the prefix checkable type
`ModuleTypeRef(F2.this, C)` was being inadvertently widened to
`ModuleTypeRef(F2[?], C)`. This started after some misguided
future-proofing in SI-6771 / 3009916.
This commit changes the `dealiasWiden` to a `delias`.
Diffstat (limited to 'test/files/neg/t6771b.check')
-rw-r--r-- | test/files/neg/t6771b.check | 2 |
1 files changed, 1 insertions, 1 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 } |