blob: da3f84e1ec7f187ccb7a8aff7a6e7da9edfd73ab (
plain) (
tree)
|
|
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 { }
^
two errors found
|