From 3949410af713249a8d2c8a494eb2b6711a0805a0 Mon Sep 17 00:00:00 2001
From: Hubert Plociniczak <hubert.plociniczak@epfl.ch>
Date: Tue, 13 Sep 2011 08:58:13 +0000
Subject: Remove assert that fails for IDE. review by Mirco.

---
 src/compiler/scala/tools/nsc/typechecker/Typers.scala | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/compiler')

diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala
index 710bab8924..dcc0b1c6ac 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala
@@ -4852,10 +4852,9 @@ trait Typers extends Modes with Adaptations {
     // have to report missing errors (if any)
     def computeType(tree: Tree, pt: Type): Type = {
       val tree1 = typed(tree, pt)
-      if (tree1.containsError()) {
-        assert(errorTreesFinder(tree1).isEmpty, "All type errors have been reported during computation of type")
+      if (tree1.containsError())
         ErrorType
-      } else {
+      else {
         transformed(tree) = tree1
         val (tpe, errs) = packedType(tree1, context.owner)
         try {
@@ -4863,7 +4862,6 @@ trait Typers extends Modes with Adaptations {
           tpe
         } catch {
           case _: TypeError =>
-            assert(false, "No type errors can be thrown after type was computed")
             ErrorType
         }
       }
-- 
cgit v1.2.3