/*****************************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:15.8, Ensure that template(value) is accepted with a concrete value.
 ** @verdict  pass accept, noexecution
 *****************************************************************/

module Syn_1508_TemplateRestrictions_003 {

type record ExampleType {
	integer a,
	boolean b optional
}

template(value) ExampleType exampleOmit := {1, true};

}