no subtype checking when right-hand side of assignment is a function
Submitted by Elemer Lelik
Link to original bug (#506063)
Description
module test2 {
type octetstring OCT1 length(1) with { variant "FIELDLENGTH(1)" };
function f_pduformat() return octetstring {
return '000000AA'O; }
control{ var OCT1 v_pduformat
//v_pduformat:='000000AA'O; this is detected compile-time
v_pduformat:=f_pduformat(); //this should be detected runtime as subtyping error log("v_pduformat>>>>>>>",v_pduformat)
}
}
Version: 5.5.0