diff options
author | Martin Odersky <odersky@gmail.com> | 2013-08-24 11:21:39 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-08-24 11:21:39 +0200 |
commit | f194e40eacf9c03fa362565f10e5bbb617cb9a84 (patch) | |
tree | dee3a4510c8c2c22d7700ad42fb787619ee47861 /src/dotty/tools/dotc/core/Types.scala | |
parent | 922717bd8a1ae60ddd48be2248f0c6d49fb44763 (diff) | |
download | dotty-f194e40eacf9c03fa362565f10e5bbb617cb9a84.tar.gz dotty-f194e40eacf9c03fa362565f10e5bbb617cb9a84.tar.bz2 dotty-f194e40eacf9c03fa362565f10e5bbb617cb9a84.zip |
Review of all deompositions of NamedType
Avoid using symbols that might not exist when doing that.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 61af2b2a5..f66070dc4 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -531,7 +531,7 @@ object Types { /** If this is an alias type, its alias, otherwise the type itself */ final def dealias(implicit ctx: Context): Type = thisInstance match { - case tp: TypeRef if (tp.symbol.isAliasType) => tp.info.bounds.hi + case tp: TypeRef if tp.symbol.isAliasType => tp.info.bounds.hi case tp => tp } |