since there is no subtyping, and there can be precisely one implementation of any trait (enforced by some rules on where traits are allowed to be implemented), it should never be ambiguous