diff options
author | Martin Odersky <odersky@gmail.com> | 2015-10-24 12:31:46 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-24 12:31:56 +0200 |
commit | 308e637dd35ba8c5e46c1bacf309ad2d82cd93bd (patch) | |
tree | ac2f12e2554ee7d703a9735925ea87298bd9ba3f /src/dotty/tools/dotc/transform/TypeTestsCasts.scala | |
parent | 396df3b7bb954c674911b8e144ba0e1c77ffab00 (diff) | |
download | dotty-308e637dd35ba8c5e46c1bacf309ad2d82cd93bd.tar.gz dotty-308e637dd35ba8c5e46c1bacf309ad2d82cd93bd.tar.bz2 dotty-308e637dd35ba8c5e46c1bacf309ad2d82cd93bd.zip |
Revise typeParams to account for existential hk types
Diffstat (limited to 'src/dotty/tools/dotc/transform/TypeTestsCasts.scala')
-rw-r--r-- | src/dotty/tools/dotc/transform/TypeTestsCasts.scala | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/TypeTestsCasts.scala b/src/dotty/tools/dotc/transform/TypeTestsCasts.scala index 98b8357b9..b2d45b661 100644 --- a/src/dotty/tools/dotc/transform/TypeTestsCasts.scala +++ b/src/dotty/tools/dotc/transform/TypeTestsCasts.scala @@ -27,7 +27,6 @@ import ValueClasses._ * Unfortunately this phase ended up being not Y-checkable unless types are erased. A cast to an ConstantType(3) or x.type * cannot be rewritten before erasure. */ - trait TypeTestsCasts { import ast.tpd._ |