Clearer error message for external trait and type

The old error message implied that external traits could never
be implemented locally.
auto merge of #9682 : skade/rust/clearer-error-message-for-external-type-and-trait, r=alexcrichton

The old error message implied that external traits could never
be implemented locally.