Assert that Match are not created without any CaseDef

tOverney · tOverney · commit 68256f6dc598 · 2018-12-15T16:31:34.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/ast/Trees.scala b/compiler/src/dotty/tools/dotc/ast/Trees.scala
@@ -520,6 +520,7 @@ object Trees {
   /** selector match { cases } */
   case class Match[-T >: Untyped] private[ast] (selector: Tree[T], cases: List[CaseDef[T]])
     extends TermTree[T] {
+    assert(cases.nonEmpty)
     type ThisTree[-T >: Untyped] = Match[T]
     def isInline = false
   }

Original file line number	Diff line number	Diff line change
`@@ -520,6 +520,7 @@ object Trees {`
`520`	`520`	`/** selector match { cases } */`
`521`	`521`	`case class Match[-T >: Untyped] private[ast] (selector: Tree[T], cases: List[CaseDef[T]])`
`522`	`522`	`extends TermTree[T] {`
	`523`	`+ assert(cases.nonEmpty)`
`523`	`524`	`type ThisTree[-T >: Untyped] = Match[T]`
`524`	`525`	`def isInline = false`
`525`	`526`	`}`