casting covariant type with Nothing fails in java

[martijnhoekstra]

Minimized code

class Example {
  def no: List[Nothing] = Nil
}

import scala.collection.immutable.List;

class Javaisms {
  void Nothingness(){
    Example ex = new Example();
    List<String> strings = (List<String>)ex.no();
  } 
}

Output

[info] Compiling 1 Scala source and 1 Java source to /home/martijn/experiment/mimi/target/scala-0.24/classes ...
[error] /home/martijn/experiment/mimi/src/main/java/Javaisms.java:6:1: cannot access scala.runtime.Nothing
[error]   class file for scala.runtime.Nothing not found
[error] (List<String>)ex.no()

Expectation

Compilation succeeds

[OlivierBlanvillain]

Does this work with scalac?

[martijnhoekstra]

Yes.

[smarter]

[error] class file for scala.runtime.Nothing not found

It needs to be scala.runtime.Nothing$ instead: https://github.com/scala/scala/blob/2.13.x/src/library/scala/runtime/Nothing%24.scala