It is error for constraint to reference the type parameter from same type parameter list
Test update for resolved bugs