From 73e7da5ecae2aa77f0adf23a430092e039cb2c9a Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sat, 11 Oct 2014 00:14:13 +0200 Subject: Make widening ops more systematic & complete 1) strip TypeVars where necessary before widening 2) allow the combination of widening and dealiasing, in any order. --- src/dotty/tools/dotc/TypeErasure.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/dotty') diff --git a/src/dotty/tools/dotc/TypeErasure.scala b/src/dotty/tools/dotc/TypeErasure.scala index cb3f76c10..9b0d73e88 100644 --- a/src/dotty/tools/dotc/TypeErasure.scala +++ b/src/dotty/tools/dotc/TypeErasure.scala @@ -8,8 +8,8 @@ import util.DotClass /** Erased types are: * - * TypeRefWithFixedSym(denot is ClassDenotation) - * TermRefWithFixedSym(denot is SymDenotation) + * TypeRef(prefix is ignored, denot is ClassDenotation) + * TermRef(prefix is ignored, denot is SymDenotation) * JavaArrayType * AnnotatedType * MethodType -- cgit v1.2.3