From b1b76515a66d94e9552f3ccde02cb4d1bacbc0ec Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 9 Dec 2014 16:26:18 +0100 Subject: Moved derivedTypeAlias method to TypeAlias --- src/dotty/tools/dotc/typer/ProtoTypes.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/dotty/tools/dotc/typer/ProtoTypes.scala') diff --git a/src/dotty/tools/dotc/typer/ProtoTypes.scala b/src/dotty/tools/dotc/typer/ProtoTypes.scala index 8d29916fa..98300f0b0 100644 --- a/src/dotty/tools/dotc/typer/ProtoTypes.scala +++ b/src/dotty/tools/dotc/typer/ProtoTypes.scala @@ -373,8 +373,8 @@ object ProtoTypes { else tp.derivedSelect(wildApprox(tp.prefix, theMap)) case tp: RefinedType => // default case, inlined for speed tp.derivedRefinedType(wildApprox(tp.parent, theMap), tp.refinedName, wildApprox(tp.refinedInfo, theMap)) - case tp: TypeBounds if tp.lo eq tp.hi => // default case, inlined for speed - tp.derivedTypeAlias(wildApprox(tp.lo, theMap)) + case tp: TypeAlias => // default case, inlined for speed + tp.derivedTypeAlias(wildApprox(tp.alias, theMap)) case tp @ PolyParam(poly, pnum) => ctx.typerState.constraint.at(tp) match { case bounds: TypeBounds => wildApprox(WildcardType(bounds)) -- cgit v1.2.3