From 38ba1149cb46b7c2240a8dcbacb2b97d5437a886 Mon Sep 17 00:00:00 2001 From: Lukas Rytz Date: Mon, 23 Aug 2010 13:17:06 +0000 Subject: in refchecks, visit the qualifier of irrefutabl... in refchecks, visit the qualifier of irrefutable filters. close #3773. review by moors. --- src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala') 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) => -- cgit v1.2.3