/*****************************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:15.8, Ensure that template(value) is rejected with anyvalue(?).
 ** @verdict  pass reject
 *****************************************************************/

module NegSem_1508_TemplateRestrictions_014 {

type record ExampleType {
	integer a,
	boolean b optional
}

template(value) ExampleType exampleOmitAny := ?;

}