diff options
author | Martin Odersky <odersky@gmail.com> | 2014-04-21 11:58:21 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-08 21:48:08 +0200 |
commit | 6f7fc527560891b2fc520a53a4c21b3a36ae0fed (patch) | |
tree | e391eb1d0c6589fd6f780a6be5afc2d08b99277d /src | |
parent | b4e5d395785576d1b6d84a35ec9ab4e7f6df6031 (diff) | |
download | dotty-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.scala | 5 |
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 |