diff options
author | Martin Odersky <odersky@gmail.com> | 2017-02-27 20:29:02 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-02-27 20:29:14 +0100 |
commit | 7a14c056708e2e5db4382e0f7466882c66de87c8 (patch) | |
tree | a05efc8d05448c1e09c0bf23ecbc74528e89cdef /compiler/src/dotty/tools/dotc | |
parent | d0162aed64def280af8aa812514d101c1563fc28 (diff) | |
download | dotty-7a14c056708e2e5db4382e0f7466882c66de87c8.tar.gz dotty-7a14c056708e2e5db4382e0f7466882c66de87c8.tar.bz2 dotty-7a14c056708e2e5db4382e0f7466882c66de87c8.zip |
Add assert that refine infos are legal wrt refined names
Diffstat (limited to 'compiler/src/dotty/tools/dotc')
-rw-r--r-- | compiler/src/dotty/tools/dotc/core/Types.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala index 200e94a1e..f56c6a286 100644 --- a/compiler/src/dotty/tools/dotc/core/Types.scala +++ b/compiler/src/dotty/tools/dotc/core/Types.scala @@ -2066,6 +2066,9 @@ object Types { */ abstract case class RefinedType(parent: Type, refinedName: Name, refinedInfo: Type) extends RefinedOrRecType { + if (refinedName.isTermName) assert(refinedInfo.isInstanceOf[TermType]) + else assert(refinedInfo.isInstanceOf[TypeType]) + override def underlying(implicit ctx: Context) = parent private def badInst = |