blob: da3f84e1ec7f187ccb7a8aff7a6e7da9edfd73ab (
plain) (
blame)
1
2
3
4
5
6
7
|
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
|