Function name conflict: ADL / function merging?

[tkoolen]

@jeff.bezanson

Just to make sure I understand: if C++ had an Any type, and XModule contained f(x::Any), the call f(x) somewhere else (in a module that doesn’t import XModule) could not call that method?

Exactly.

@jeff.bezanson

Julia method applicability is based on subtyping, and not on something like whether a definition “mentions” a certain type.

Is that really different from C++'s templated functions and template specializations though? C++ makes ADL work for these. In fact, Sutter’s ‘modest proposal’ PDF from my earlier comment addressed exactly the issue that C++ used to be too liberal in applying ADL in the face of templated functions.