The `instead of` is usually not added in other traits messages. Unless it really improves the diagnostic we should remove it to be consistent with the other diagnostics.