/***************************************************
 ** @author   TTF T003
 ** @version  0.0.1
 ** @purpose  1:6.2.15.2, Verify that an error is generated for type-incompatible index assignment list keys
 ** @verdict  pass reject
 ***************************************************/

// The following rule is tested:
// Values of type map can be denoted with the indexed assignment notation where the indices
// are values of the key type of the map type and the right hand sides are values of the value type.

module NegSem_06021502_indexed_assignment_notation_001 {
	type map from charstring to integer TMap1;
	type component C {}

	testcase TC_NegSem_06021502_indexed_assignment_notation_001() runs on C {
		var TMap1 v_map := { ['AB04'O] := 1, ['C0'O] := 5 }
		setverdict(pass);
	}

	control {
		execute(TC_NegSem_06021502_indexed_assignment_notation_001());
	}
}
