Checks type arguments for redundancy when a reference provides the type with default values