From 17b78ba1f82824865f0371c168050c94bf5b3720 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Fri, 24 Oct 2014 18:21:47 +0200
Subject: Strenghten postCondition of firstTransform

All tests pass, but good to have the condition in there.
---
 src/dotty/tools/dotc/transform/FirstTransform.scala | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/dotty/tools/dotc/transform/FirstTransform.scala b/src/dotty/tools/dotc/transform/FirstTransform.scala
index 9a1bcd7d9..05255c982 100644
--- a/src/dotty/tools/dotc/transform/FirstTransform.scala
+++ b/src/dotty/tools/dotc/transform/FirstTransform.scala
@@ -35,6 +35,9 @@ class FirstTransform extends MiniPhaseTransform with IdentityDenotTransformer {
   override def checkPostCondition(tree: Tree)(implicit ctx: Context): Unit = tree match {
     case Select(qual, _) if tree.symbol.exists =>
       assert(qual.tpe derivesFrom tree.symbol.owner, i"non member selection of ${tree.symbol.showLocated} from ${qual.tpe}")
+    case _: TypeTree =>
+    case _: Import | _: NamedArg | _: TypTree =>
+      assert(false, i"illegal tree: $tree")
     case _ =>
   }
 
-- 
cgit v1.2.3