If M.f(x::Any) defined in M documents a postcondition (e.g. that the return value is sorted), is there a norm that an overload M.f(x::M2.T) defined in module M2 should also ensure that postcondition holds?
If M.f(x::Any) defined in M documents a postcondition (e.g. that the return value is sorted), is there a norm that an overload M.f(x::M2.T) defined in module M2 should also ensure that postcondition holds?