Reports trait objects with additional non-auto traits.
In trait objects, only auto traits can be added as additional traits.