<@U0D06TWMA> in that case it should result in comp...
# announcements
a
@Andreas Sinz in that case it should result in compilation error as it is in case with subclasses, not in runtime exception, shouldn’t it?