aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
diff options
context:
space:
mode:
authorDmitry Petrashko <dmitry.petrashko@gmail.com>2014-09-24 17:17:17 +0200
committerDmitry Petrashko <dmitry.petrashko@gmail.com>2014-09-24 17:24:58 +0200
commit42b8c1df6e22bf8a8fd982bbd542d6fc427f8deb (patch)
treeebd2c26d4dd0f372923d4dc688d9c5c0b7646586 /src/dotty/tools/dotc/core/Types.scala
parent112d08118b5f892ba98a465ef8cf8896448245f8 (diff)
downloaddotty-42b8c1df6e22bf8a8fd982bbd542d6fc427f8deb.tar.gz
dotty-42b8c1df6e22bf8a8fd982bbd542d6fc427f8deb.tar.bz2
dotty-42b8c1df6e22bf8a8fd982bbd542d6fc427f8deb.zip
TypeTestsCasts now handles casts to constant types.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r--src/dotty/tools/dotc/core/Types.scala2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index 59adf764e..5348bac31 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -255,6 +255,8 @@ object Types {
* value type, or because superclasses are ambiguous).
*/
final def classSymbol(implicit ctx: Context): Symbol = this match {
+ case ConstantType(constant) =>
+ constant.tpe.classSymbol
case tp: TypeRef =>
val sym = tp.symbol
if (sym.isClass) sym else tp.underlying.classSymbol