list subtyping of anytype does not work
Summary
TITAN does not accept subtyping of anytype using a value list
Steps and/or TTCN-3 code to reproduce
type anytype MyAnySub1 ({ integer := 5 },{ boolean := false },{ bitstring := '0011'B },{ charstring := "mine" },{ MyEnum := first }); // a valid subtype of anytype, consisting of 5 values
type MyAnySub1 MyAnySub2 ({ integer := 5 },{ boolean := false },{ bitstring := '0011'B }); // a valid subtype of MyAnySub1, consisting of 3 values
type anytype MyAnySub3 (MyAnySub2,{ octetstring := 'FF'O }); // a valid subtype of anytype, consisting of 4 values, 3 of which are defined
// by referring to MyAnySub2
type MyAnySub1 MyAnySub4 ({ integer := 5 },{ boolean := false },{ MyEnum := second }); // causes an error as { MyEnum := second } is not a value of MyAnySub1
type MyAnySub1 MyAnySub5 (MyAnySub3,{ MyEnum := first }); // causes an error as { octetstring := 'FF'O } (defined via referencing MyAnySub3) is
// not a value of MyAnySub1
What is the current bug behavior?
errors
What is the expected correct behavior?
successful compilation
Relevant logs and/or screenshots
../src/datatypes.ttcn:348.42-61: error: Reference to non-existent field `boolean' in union value for type `@datatypes.anytype'
etc
Possible fixes
Titan version
8.1.0
Platform details (OS type and version)
Microsoft Windows 10 Enterprise 10.0.19042
/cc @aknappqwt @mmagyari