If I understand correctly, as of Julia 1.10, according to this PR, it will be possible to statically infer the output of hasmethod and applicable. Previously, things like static_hasmethod from Tricks.jl seemed to be not recommended. Has that changed? Are hasmethod and 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.