From c0d02903797c4c83aaeb17079c3bdbdf33ebfc42 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 1 Nov 2006 09:40:22 +0000 Subject: fixed bug762 --- src/compiler/scala/tools/nsc/symtab/Types.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/compiler/scala/tools/nsc/symtab/Types.scala b/src/compiler/scala/tools/nsc/symtab/Types.scala index 58d86fed69..c7a5654dc0 100644 --- a/src/compiler/scala/tools/nsc/symtab/Types.scala +++ b/src/compiler/scala/tools/nsc/symtab/Types.scala @@ -1957,11 +1957,11 @@ trait Types requires SymbolTable { * than member sym2 of tp2? */ private def specializesSym(tp1: Type, sym1: Symbol, tp2: Type, sym2: Symbol): boolean = { - //System.out.println("specializes "+tp1+"."+sym1+" "+tp2+"."+sym2)//DEBUG val info1 = tp1.memberInfo(sym1) val info2 = tp2.memberInfo(sym2).substThis(tp2.symbol, tp1) + //System.out.println("specializes "+tp1+"."+sym1+":"+info1+sym1.locationString+" AND "+tp2+"."+sym2+":"+info2)//DEBUG sym2.isTerm && (info1 <:< info2) || - sym2.isAbstractType && info2.bounds.containsType(info1) || + sym2.isAbstractType && info2.bounds.containsType(tp1.memberType(sym1)) || sym2.isAliasType && tp2.memberType(sym2).substThis(tp2.symbol, tp1) =:= tp1.memberType(sym1) } -- cgit v1.2.3