Value list subtyping for array does not work
Summary
It seems that Titan does not value list subtyping for arrays and their subtypes. The value lists only contain values, not templates.
Steps and/or TTCN-3 code to reproduce
type charstring MyArray[1..2];
type MyArray MyArraySub1 ({ "aa", "cc" },{ "bb", "cc" }); // valid subtype of MyArray
type MyArraySub1 MyArraySub2 ({ "aa", "cc" }); // valid subtype of MyArraySub1
What is the current bug behavior?
Compile error.
What is the expected correct behavior?
MyArraySub1 and MyArraySub2 should be considered legal types.
Relevant logs and/or screenshots
../src/datatypes.ttcn:362.6-16: error: Subtype constraints are not applicable to type `charstring[1..2]'
Possible fixes
Titan version
8.1.0
Platform details (OS type and version)
Microsoft Windows 10 Enterprise 10.0.19042
/cc @aknappqwt @mmagyari