diff options
author | Martin Odersky <odersky@gmail.com> | 2014-10-11 00:14:13 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-12 10:51:39 +0200 |
commit | 73e7da5ecae2aa77f0adf23a430092e039cb2c9a (patch) | |
tree | f387e68bd873081ae94c07b69fc68d1bc31be001 /src/dotty/tools/dotc/TypeErasure.scala | |
parent | 41211c597dec676b258a20010f8147fb87167664 (diff) | |
download | dotty-73e7da5ecae2aa77f0adf23a430092e039cb2c9a.tar.gz dotty-73e7da5ecae2aa77f0adf23a430092e039cb2c9a.tar.bz2 dotty-73e7da5ecae2aa77f0adf23a430092e039cb2c9a.zip |
Make widening ops more systematic & complete
1) strip TypeVars where necessary before widening
2) allow the combination of widening and dealiasing, in any order.
Diffstat (limited to 'src/dotty/tools/dotc/TypeErasure.scala')
-rw-r--r-- | src/dotty/tools/dotc/TypeErasure.scala | 4 |
1 files changed, 2 insertions, 2 deletions
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 |