The following model passes all CoCos:
a which is a part usage cannot be typed by a port definition. Generally, any usage can only be typed by the definition of the same kind. But this is not generally the case. Attribute usages can also be typed by datatypes from the standard library as in attribute b: ScalarValues::Boolean, in addition to attribute definitions and enum definitions.
Possible Solutions
Write one/multiple CoCos that disallow usageofA : DefOfB and also find out where this is not always the case (i.e. attribute usages)
The following model passes all CoCos:
awhich is a part usage cannot be typed by a port definition. Generally, any usage can only be typed by the definition of the same kind. But this is not generally the case. Attribute usages can also be typed by datatypes from the standard library as inattribute b: ScalarValues::Boolean, in addition to attribute definitions and enum definitions.Possible Solutions
Write one/multiple CoCos that disallow
usageofA : DefOfBand also find out where this is not always the case (i.e. attribute usages)