/***************************************************
 * @author TTF T003
 * @version 0.0.1
 * @purpose 1.6.2.16, Ensure that the open type is forbidden in Template declarations.
 * @verdict pass reject
 ***************************************************/

module NegSem_060216_the_open_type_003 {
	type component GeneralComp {
	}

	template any MyOpenTemplate := {0,1,2} //not allowed

	testcase TC_Sem_060216_the_open_type_003() runs on GeneralComp {
		//empty TC
		setverdict(pass);
	}

	control {
		execute(TC_Sem_060216_the_open_type_003());
	};
}
