diff options
author | Martin Odersky <odersky@gmail.com> | 2014-04-18 17:43:40 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-08 21:48:08 +0200 |
commit | 9203e01ddd141ddbb96e3064be5e894ddb666fd8 (patch) | |
tree | e3de1ec438114c366e4c28ed9cb46c5df94e4deb /src/dotty/tools/dotc/transform/Erasure.scala | |
parent | 861f10b72e2a6332f8919f6880604bdc49cc3bca (diff) | |
download | dotty-9203e01ddd141ddbb96e3064be5e894ddb666fd8.tar.gz dotty-9203e01ddd141ddbb96e3064be5e894ddb666fd8.tar.bz2 dotty-9203e01ddd141ddbb96e3064be5e894ddb666fd8.zip |
Some more debug info.
Diffstat (limited to 'src/dotty/tools/dotc/transform/Erasure.scala')
-rw-r--r-- | src/dotty/tools/dotc/transform/Erasure.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/Erasure.scala b/src/dotty/tools/dotc/transform/Erasure.scala index 9473bf10a..e6d012d68 100644 --- a/src/dotty/tools/dotc/transform/Erasure.scala +++ b/src/dotty/tools/dotc/transform/Erasure.scala @@ -198,7 +198,7 @@ object Erasure { */ override def typedSelect(tree: untpd.Select, pt: Type)(implicit ctx: Context): Tree = { val sym = tree.symbol - assert(sym.exists) + assert(sym.exists, tree.show) def select(qual: Tree, sym: Symbol): Tree = untpd.cpy.Select(tree, qual, sym.name) withType qual.tpe.select(sym) @@ -245,6 +245,8 @@ object Erasure { case mt: MethodType => val args1 = args.zipWithConserve(mt.paramTypes)(typedExpr) untpd.cpy.Apply(tree, fun1, args1) withType mt.resultType + case _ => + throw new MatchError(i"tree $tree has uxpected type of function ${fun1.tpe.widen}, was ${fun.typeOpt.widen}") } } |