I was told that XModule.f(x::Any) (or f<T>(T x) ?) would not be callable, but XModule.f(x::X) would be. A method becoming applicable as a result of its signature narrowing is definitely very different from the subtyping-based model of applicability.
1 Like