erg/tests/should_err/sealed.er
2024-04-27 13:52:15 +09:00

7 lines
124 B
Python

.Closed = Subsume Sealed, Additional := {
foo = (self: Self) -> Int;
}
C = Class()
C|<: Closed|.
foo self = 1 # OK