diff options
| author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-03-03 15:04:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-03 15:04:32 +0100 |
| commit | 06d3f7aefa620ce006008955203d7f8f8dc7b605 (patch) | |
| tree | 1f8cc896502bb3e0323a9c0e7ed49a7b9abc6ec2 | |
| parent | 761b1fd116ddbf24e54dc46f85017f6ee2397142 (diff) | |
| parent | 7c7c1f0e55194c4902b9c3ffa1322349aaf553dc (diff) | |
| download | dotty-06d3f7aefa620ce006008955203d7f8f8dc7b605.tar.gz dotty-06d3f7aefa620ce006008955203d7f8f8dc7b605.tar.bz2 dotty-06d3f7aefa620ce006008955203d7f8f8dc7b605.zip | |
Merge pull request #2039 from dotty-staging/add-refined-assert
Add assert that refine infos are legal wrt refined names
| -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 = |