/*****************************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:15.6.3, Ensure that assignment to a anyvalue in the context of record of is handled correctly when the first element is changed.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_150603_ReferencingRecordOfAndSetElements_004 {

	type component GeneralComp { }

	type record of integer RoI;

	testcase TC_Sem_150603_ReferencingRecordOfAndSetElements_004() runs on GeneralComp {
		var template RoI m_one;

		m_one := ?;
		m_one[0] := 2;
		// assignment should yield {2,*}

		if (not match(2,m_one[0])) {
			setverdict(fail);
		}

		setverdict(pass);
	}

	control{
		execute(TC_Sem_150603_ReferencingRecordOfAndSetElements_004());
	}



}