Inspects trait declaration for duplicate associated types.