aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-04-21 11:58:21 +0200
committerDmitry Petrashko <dmitry.petrashko@gmail.com>2014-05-08 21:48:08 +0200
commit6f7fc527560891b2fc520a53a4c21b3a36ae0fed (patch)
treee391eb1d0c6589fd6f780a6be5afc2d08b99277d /src
parentb4e5d395785576d1b6d84a35ec9ab4e7f6df6031 (diff)
downloaddotty-6f7fc527560891b2fc520a53a4c21b3a36ae0fed.tar.gz
dotty-6f7fc527560891b2fc520a53a4c21b3a36ae0fed.tar.bz2
dotty-6f7fc527560891b2fc520a53a4c21b3a36ae0fed.zip
Avoid checking for tpt non empty in implicit defs after typer.
The check assumes that inferred TypeTrees do not exist yet, but after the typer they do exist.
Diffstat (limited to 'src')
-rw-r--r--src/dotty/tools/dotc/typer/ReTyper.scala5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/ReTyper.scala b/src/dotty/tools/dotc/typer/ReTyper.scala
index c2f627b1e..7c2cd5b17 100644
--- a/src/dotty/tools/dotc/typer/ReTyper.scala
+++ b/src/dotty/tools/dotc/typer/ReTyper.scala
@@ -4,6 +4,7 @@ package typer
import core.Contexts._
import core.Types._
import core.Symbols._
+import core.Decorators._
import typer.ProtoTypes._
import ast.{tpd, untpd}
import ast.Trees._
@@ -20,7 +21,7 @@ class ReTyper extends Typer {
import tpd._
protected def promote(tree: untpd.Tree)(implicit ctx: Context): tree.ThisTree[Type] = {
- assert(tree.hasType)
+ assert(tree.hasType, i"$tree ${tree.getClass} ${tree.uniqueId}")
tree.withType(tree.typeOpt)
}
@@ -55,4 +56,6 @@ class ReTyper extends Typer {
override def localTyper(sym: Symbol) = this
override def index(trees: List[untpd.Tree])(implicit ctx: Context) = ctx
+
+ override def checkImplicitTptNonEmpty(defTree: untpd.ValOrDefDef)(implicit ctx: Context): Unit = ()
} \ No newline at end of file