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