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

module NegSem_060216_the_open_type_001 {
	type component GeneralComp {
	}

	type any MyOpenType; //not allowed

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

	control {
		execute(TC_Sem_060216_the_open_type_001());
	};
}
