impl Trait for Type requires same crate, not same type

[jonathanpallant]

The slides on traits say the type/trait needs to be in the same module. This is not right - the same crate is enough.