diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-01-20 14:50:51 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-01-20 14:50:51 +0100 |
| commit | 608fbca82816c6b43def0b38de5f93133954e8ae (patch) | |
| tree | 0cdce44f110c058d311529f0989b4d5d7316e747 /src/dotty/tools/dotc/core/TypeOps.scala | |
| parent | 0a8c17efca37e14b8467d7da9ffd6c48c8cd1c0f (diff) | |
| download | dotty-608fbca82816c6b43def0b38de5f93133954e8ae.tar.gz dotty-608fbca82816c6b43def0b38de5f93133954e8ae.tar.bz2 dotty-608fbca82816c6b43def0b38de5f93133954e8ae.zip | |
For a typeRef, prefer info.isAlias over symbol.isAliasType
Reason: This works even for typeRefs with joint-ref denotations, even if the symbol does not exist. The only reason to use symbol.isAliasType is if info.isAlias can produce a cycle.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index f3ddf3cc1..e2352d89e 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -165,7 +165,7 @@ trait TypeOps { this: Context => formals = formals.updated(name, tp1.typeParamNamed(name)) normalizeToRef(tp1) case tp: TypeRef => - if (tp.symbol.isAliasType) normalizeToRef(tp.info.bounds.hi) + if (tp.symbol.info.isAlias) normalizeToRef(tp.info.bounds.hi) else tp case ErrorType => defn.AnyClass.typeRef |