Are hasmethod and applicable recommended for defining traits now?

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.

1 Like

I have no helpful recommendations here. I simply was the implementer of that PR.

Ok, thanks for responding. I interpret that to mean you don’t foresee any especially bad implications for compiler performance due to using hasmethod.