diff options
author | Lukas Rytz <lukas.rytz@epfl.ch> | 2010-08-23 13:17:06 +0000 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2010-08-23 13:17:06 +0000 |
commit | 38ba1149cb46b7c2240a8dcbacb2b97d5437a886 (patch) | |
tree | 1e6f42e14ee3385f9d604d99b8cdee6d7329e8a8 /src | |
parent | 74da0c78515875ef12a13f24260bcb765aa0cc1a (diff) | |
download | scala-38ba1149cb46b7c2240a8dcbacb2b97d5437a886.tar.gz scala-38ba1149cb46b7c2240a8dcbacb2b97d5437a886.tar.bz2 scala-38ba1149cb46b7c2240a8dcbacb2b97d5437a886.zip |
in refchecks, visit the qualifier of irrefutabl...
in refchecks, visit the qualifier of irrefutable filters. close #3773.
review by moors.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 1a1ae99d28..162749da41 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -1124,7 +1124,7 @@ abstract class RefChecks extends InfoTransform { if ((pname startsWith nme.CHECK_IF_REFUTABLE_STRING) && isIrrefutable(pat1, tpt.tpe) && (qual.tpe <:< tree.tpe)) => - qual + transform(qual) case Apply(Select(New(tpt), name), args) if (tpt.tpe.typeSymbol == ArrayClass && args.length >= 2) => |