Because if a synthetic method (without any constraints declared locally), it still should inherit the constraints from the methods it overrides.