```scala import java.nio.file._ class Test { def test = { val p = Paths.get("") } } ``` ``` dotc Test.scala -Ycheck:frontend dotc Test.scala -Ycheck:elimJavaPackages ``` Both fail