Type is not inferred correctly

The expression on the right side of your `<-` evaluates to a `java.nio.file.DirectoryStream[java.nio.file.Path]`. To put it simple: This is not a Scala collection and cannot be used in a for-comprehension as you intend.

Thanks for your answer.

I forgot to tell you, I've used

import scala.collection.JavaConversions._

Your example works ok for me. Do you have some example sbt project, with this sample code?

Best regards,
Alexander Podkhalyuzin.

Better than that, I'm providing you a complete and simple scala script:

#!/bin/sh
exec scala -feature -savecompiled "$0" "$@"
!#
import java.nio.file._
import scala.collection.JavaConversions._

for (f <- Files.newDirectoryStream(Paths.get("/tmp"))) {
  println(f.getFileName)
}

IDEA plugin doesn't complain about the missing getFileName method, even though it thinks "f" is an Any object.

It's still ok for me with Scala 2.10.3 and JDK 1.7_40.

Best regards,
Alexander Podkhalyuzin.

That's true, I have another installation of IDEA 13 and it works ok.
The difference, is that I have updated the Scala plugin just today.
When I have access to the other computer I will check.

Confirmed that latest updates in the plugin have solved this. :)