I do not have that restriction; Traits are instead scoped by module, so a trait implementation in one module is not necessarily available in another, unless it

I do not have that restriction; Traits are instead scoped by module, so a trait implementation in one module is not necessarily available in another, unless it is exported explicitly. Now, on the other hand, I doubt Rust has the same kind of bugginess I have :)