module checkNoInlineTemplates { testcase tc_00 () runs on someComponent { //... somePort.send ( someDataType:{ field1 := 1, field2 := true } ); //... } }