t5529.scala:12: error: File is already defined as class File
  type File
       ^
t5529.scala:10: error: class type required but test.Test.File found
  sealed class Dir extends File { }
                           ^
t5529.scala:10: error: test.Test.File does not have a constructor
  sealed class Dir extends File { }
                   ^
three errors found