diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-11-28 22:10:37 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-11-28 22:12:51 +0100 |
| commit | 91c61e4694097971b9a0c139048b7239d0f05588 (patch) | |
| tree | 6836b169dce43f32e588f60bb16d14dba850b254 /src/dotty/tools/dotc/transform/Erasure.scala | |
| parent | b18ce863f5f2444a5a00ccc9d55c4ee12115c467 (diff) | |
| download | dotty-91c61e4694097971b9a0c139048b7239d0f05588.tar.gz dotty-91c61e4694097971b9a0c139048b7239d0f05588.tar.bz2 dotty-91c61e4694097971b9a0c139048b7239d0f05588.zip | |
Previous scheme was buggy; leaked Array types to backend.
Now: All new Array[T] methods are translated to calls of the form
dotty.Arrays.newXYZArray ...
Diffstat (limited to 'src/dotty/tools/dotc/transform/Erasure.scala')
| -rw-r--r-- | src/dotty/tools/dotc/transform/Erasure.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/Erasure.scala b/src/dotty/tools/dotc/transform/Erasure.scala index 0a34b9e7c..23f1aada9 100644 --- a/src/dotty/tools/dotc/transform/Erasure.scala +++ b/src/dotty/tools/dotc/transform/Erasure.scala @@ -89,7 +89,7 @@ class Erasure extends Phase with DenotTransformer { thisTransformer => */ def assertErased(tree: tpd.Tree)(implicit ctx: Context): Unit = { assertErased(tree.typeOpt, tree) - if (!(tree.symbol == defn.Any_isInstanceOf || tree.symbol == defn.Any_asInstanceOf)) + if (!defn.isPolymorphicAfterErasure(tree.symbol)) assertErased(tree.typeOpt.widen, tree) if (ctx.mode.isExpr) tree.tpe match { |