Skip to content

Commit 8213993

Browse files
committed
Remove ExistentialType logic
1 parent 3e36134 commit 8213993

File tree

1 file changed

+0
-9
lines changed

1 file changed

+0
-9
lines changed

compiler/src/dotty/tools/backend/jvm/BCodeHelpers.scala

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -828,15 +828,6 @@ trait BCodeHelpers extends BCodeIdiomatic with BytecodeWriters {
828828
ctx.debuglog(s"typeKind of annotated type $a")
829829
typeToTypeKind(t)(ct)(storage)
830830

831-
/* ExistentialType should (probably) be eliminated by erasure. We know they get here for
832-
* classOf constants:
833-
* class C[T]
834-
* class T { final val k = classOf[C[_]] }
835-
*/
836-
/* case e @ ExistentialType(_, t) =>
837-
debuglog(s"typeKind of existential type $e")
838-
t.toTypeKind(ctx)(storage)*/
839-
840831
/* The cases below should probably never occur. They are kept for now to avoid introducing
841832
* new compiler crashes, but we added a warning. The compiler / library bootstrap and the
842833
* test suite don't produce any warning.

0 commit comments

Comments
 (0)