Problems with constraints in ParameterBinding

In ParameterBinding, the constraint for compatible type does not consider potential reduction:

  inv ParameterBindingTypes ('The provided \'DataUse\' shall conform to the \'DataType\' of the referenced \'Parameter\'.' + self.toString()):
        self.dataUse.resolveDataType().conformsTo(self.parameter.dataType)

It should use resolveParameterType() instead.

Edited Feb 05, 2026 by Philip Makedonski

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information