Omc doesn't check correctly the constraining-clause

[Andrea.Bartolini]

consider the following package (also attached)

package Test
  function f1
    input Real u1;
  end f1;
  
  function f2
    input Boolean b1;
  end f2;
 
  model M1
    replaceable function fr = f1
    constrainedby f2;
  end M1;
end Test;

The functions f1 and f2 aren't "plug-compatible" because they have different inputs (different name and different type) without default value, so the default type and the constrainedby type of the replaceable function fr in the model M1 doesn't match.

Checking the model M1 no errors nor warnings are risen by omc.

OMEdit - OpenModelica Connection Editor
Connected to OpenModelica 1.18.0~dev-49-gc5c5e43
sysop: ubuntu 18.04