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

module NegSem_1508_TemplateRestrictions_019 {

type record ExampleType {
	set of integer a,
	boolean b optional
}

template(value) ExampleType exampleOmitAny := {superset(1,2,3), true};

}