# Applicability of interface guarantees to overloads

**URL:** <https://discourse.julialang.org/t/applicability-of-interface-guarantees-to-overloads/103427>\
**Category:** Internals & Design\
**Created:** [August 31, 2023, 9:30pm UTC](https://discourse.julialang.org/t/applicability-of-interface-guarantees-to-overloads/103427 "2023-08-31T21:30:13Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![jar1](https://avatars.discourse-cdn.com/v4/letter/j/c0e974/32.png) [@jar1](https://discourse.julialang.org/u/jar1)\
**Post date:** [August 31, 2023, 9:30pm UTC](https://discourse.julialang.org/t/applicability-of-interface-guarantees-to-overloads/103427/1 "2023-08-31T21:30:13Z")

</div>

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?