search

typelevel / scala

Typelevel Scala, a fork of Scala
http://typelevel.org/scala/
372 stars 21 forks source link

Runtime NoClassDefFoundError when casting to subtype of AnyKind #159

Open Baccata opened 7 years ago

Baccata commented 7 years ago

Running def foo0[F <: AnyKind]: F = null.asInstanceOf[F] with the option -Ykind-polymorphism results in this runtime error : 

[error] (run-main-1) java.lang.NoClassDefFoundError: scala/AnyKind
java.lang.NoClassDefFoundError: scala/AnyKind
        at java.lang.Class.getDeclaredMethods0(Native Method)
        at java.lang.Class.privateGetDeclaredMethods(Class.java:2701)
        at java.lang.Class.privateGetMethodRecursive(Class.java:3048)
        at java.lang.Class.getMethod0(Class.java:3018)
        at java.lang.Class.getMethod(Class.java:1784)
Caused by: java.lang.ClassNotFoundException: scala.AnyKind
        at java.net.URLClassLoader.findClass(URLClassLoader.java:381)
        at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
        at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
        at java.lang.Class.getDeclaredMethods0(Native Method)
        at java.lang.Class.privateGetDeclaredMethods(Class.java:2701)
        at java.lang.Class.privateGetMethodRecursive(Class.java:3048)
        at java.lang.Class.getMethod0(Class.java:3018)
        at java.lang.Class.getMethod(Class.java:1784)

Bumped into this exception whilst running this example from the TLS project

Full reproducible example here