This construct causes code to be less generic than indicated by the type annotations. The unit-of-measure variable '{0} has ...