Faulty subtype checking

Copy of titan.core#481 (closed)

Submitted by Gabor Szalai

Link to original bug (#562085)

Description

The following subtyping is a valid according to the standard but not accepted by the TITAN:

type set r1 { charstring f1, charstring f3 optional }

type r1 r1s ({f3:=omit})

proba.ttcn:10.14-24: error: Field `f1' is missing from set value

6.2.13.2: When constraining record and set types, templates of the expanded list defined using the value list notation shall be valid (i.e. complete) templates, while templates of the expanded list defined using the field assignment notation may be partial (i.e. incomplete). In the latter case, the fields that are not explicitly present shall be considered as containing AnyValue for mandatory fields and AnyValueOrNone for optional fields.

Version: 6.6.1