diff options
| author | Paul Phillips <paulp@improving.org> | 2012-10-18 04:02:27 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-10-18 08:59:18 -0700 |
| commit | 6ff9db6362c0b19c72b3b0ca2721367a85e13189 (patch) | |
| tree | d624a54599150f898dc2cafaf609ad31eb5fbdd7 /test/files/neg/unchecked-knowable.check | |
| parent | 25ad7876a97aafb7a33283843b05023e48cedc55 (diff) | |
| download | scala-6ff9db6362c0b19c72b3b0ca2721367a85e13189.tar.gz scala-6ff9db6362c0b19c72b3b0ca2721367a85e13189.tar.bz2 scala-6ff9db6362c0b19c72b3b0ca2721367a85e13189.zip | |
Fix for SI-6537, inaccurate unchecked warning.
I found a more direct expression of the unchecked logic,
which should be much easier for others to verify. But the
bug being fixed here is that the unchecked checking happens
too early, and the sealed children of a symbol are not yet
visible if it is being simultaneously compiled.
Diffstat (limited to 'test/files/neg/unchecked-knowable.check')
| -rw-r--r-- | test/files/neg/unchecked-knowable.check | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/test/files/neg/unchecked-knowable.check b/test/files/neg/unchecked-knowable.check index 3a6ef994b5..d279427327 100644 --- a/test/files/neg/unchecked-knowable.check +++ b/test/files/neg/unchecked-knowable.check @@ -1,4 +1,7 @@ -unchecked-knowable.scala:17: error: fruitless type test: a value of type Bippy cannot also be a A1 +unchecked-knowable.scala:18: error: fruitless type test: a value of type Bippy cannot also be a A1 /* warn */ (new Bippy).isInstanceOf[A1] ^ -one error found +unchecked-knowable.scala:19: error: fruitless type test: a value of type Bippy cannot also be a B1 + /* warn */ (new Bippy).isInstanceOf[B1] + ^ +two errors found |