Is this something that can be used in Rust? Or is it a feature that will be implemented later?

I am not familiar enough with the details. We don't have an _exact_ analogue, though our Traits are similar-ish.

I've pinged #rust, I'll see if I can get someone who knows more to answer here.

I was mostly curious if there is some kind of (formal) specifications that one can use (axioms).