/***************************************************
 ** @author   TTF T003
 ** @version  0.0.1
 ** @purpose  1:6.2.15.1, Verify that templates of structured types containing fields of a map type are not allowed
 ** @verdict  pass reject
 ***************************************************/

// The following rule is tested:
// Restriction a
// Template definitions ... of any structured type containing a field or element of type map
// ... are not allowed.


module NegSem_06021501_map_type_definition_002 {
  type map from charstring to integer TMap1;
  type record R {
    TMap1 field1
  }
  template R m_test := ?

}
