test/files/pos/t3417.scala


1
2
3
4
5
6
7
8
9
10
11

trait X extends NotNull {
    def foo = 1
}

trait Y extends Object with NotNull {
    def bar = 1
}

class Z extends NotNull

class W extends Object with NotNull