If I understand correctly, as of Julia 1.10, according to this PR, it will be possible to statically infer the output of
applicable. Previously, things like
static_hasmethod from Tricks.jl seemed to be not recommended. Has that changed? Are
applicable recommended now? Can I start thinking about using
hasmethod to define traits or use it like a trait itself?
@jameson it would be especially helpful to hear any thoughts you have about this.