Did Julia community do something to improve its correctness?

[Raf]

Sub-interfaces will often inherit from multiple optional parts of an interface.