/***************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:6.3.1, Ensure that the IUT correctly handles assignments from incompatible type ranges
 ** @verdict  pass reject
 ***************************************************/

module NegSem_060301_non_structured_types_003 {
    type charstring ConstrainedChar ("a" .. "z");

type component GeneralComp {
}

testcase TC_NegSem_060301_non_structured_types_003() runs on GeneralComp {

    var charstring v_char := "j5l";
    var ConstrainedChar v_constrainedChar;

    v_constrainedChar:=v_char; // 5 not in dictionary

}

control{
    execute(TC_NegSem_060301_non_structured_types_003());
}

}
