From f9b1917e8be7a178282514429f494a3905055aab Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Wed, 26 Jan 2011 07:33:37 +0000 Subject: closes #4137. --- src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 7945e2e19e..3d769f6cfd 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -376,7 +376,7 @@ abstract class RefChecks extends InfoTransform { // overrideError("may not override parameterized type"); // @M: substSym - if (!(self.memberType(member).substSym(member.typeParams, other.typeParams) =:= self.memberType(other))) // (1.6) + if( !(sameLength(member.typeParams, other.typeParams) && (self.memberType(member).substSym(member.typeParams, other.typeParams) =:= self.memberType(other))) ) // (1.6) overrideTypeError(); } else if (other.isAbstractType) { //if (!member.typeParams.isEmpty) // (1.7) @MAT -- cgit v1.2.3