diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-24 10:13:22 +0200 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-24 15:28:15 +0200 |
commit | 115eede127ad96f65b5aa3943e7a2334d75c7d6b (patch) | |
tree | f019102655d8a5ce309e65fccb3455c10dcfaae0 /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
parent | 0391436aa1bfd1b9fabaf9d93e8c077dbea53a38 (diff) | |
download | scala-115eede127ad96f65b5aa3943e7a2334d75c7d6b.tar.gz scala-115eede127ad96f65b5aa3943e7a2334d75c7d6b.tar.bz2 scala-115eede127ad96f65b5aa3943e7a2334d75c7d6b.zip |
SI-5897 don't check sensicality in match
the pattern matching analysis should be more precise anyway
(don't warn twice)
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 6912e5354f..254a2f2376 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -1541,7 +1541,8 @@ abstract class RefChecks extends InfoTransform with reflect.internal.transform.R transform(qual) case Apply(fn, args) => - checkSensible(tree.pos, fn, args) + // sensicality should be subsumed by the unreachability/exhaustivity/irrefutability analyses in the pattern matcher + if (!inPattern) checkSensible(tree.pos, fn, args) currentApplication = tree tree } |