diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-11 08:28:38 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-11 08:42:17 +0200 |
commit | 9ab1568cd5854dd9dd3800f3d2f05866fcb26613 (patch) | |
tree | 4aa1c4093971e38fbbc802af7e5361bdde2523a1 /src/dotty/tools/dotc/core/SymDenotations.scala | |
parent | 103d16793f312e2cefc8095de58255728ceebc88 (diff) | |
download | dotty-9ab1568cd5854dd9dd3800f3d2f05866fcb26613.tar.gz dotty-9ab1568cd5854dd9dd3800f3d2f05866fcb26613.tar.bz2 dotty-9ab1568cd5854dd9dd3800f3d2f05866fcb26613.zip |
Fix errors in SymDenotations.isCachable.
TypeVar is a TypeProxy.
Diffstat (limited to 'src/dotty/tools/dotc/core/SymDenotations.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/SymDenotations.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/SymDenotations.scala b/src/dotty/tools/dotc/core/SymDenotations.scala index 711a76ad5..cea9be604 100644 --- a/src/dotty/tools/dotc/core/SymDenotations.scala +++ b/src/dotty/tools/dotc/core/SymDenotations.scala @@ -1323,9 +1323,9 @@ object SymDenotations { * or whose instances can change, depending on typerstate. */ def isCachable(tp: Type): Boolean = tp match { + case tp: TypeVar => tp.inst.exists && inCache(tp.inst) case tp: TypeProxy => inCache(tp.underlying) case tp: AndOrType => inCache(tp.tp1) && inCache(tp.tp2) - case tp: TypeVar => tp.inst.exists && inCache(tp.inst) case _ => true } |