Value template of empty record is unbound
@fiannetti
Submitted by fiannetti Assigned to fiannetti @fiannetti
Link to original bug (#511826)
Description
type record Empty {} with { variant "" };
template (value) Empty t_empty := {};
When trying to encode to json the value template t_empty (e.g. for sending it over a testport) then it causes DTE, because the value of the template is unbound.
Version: 6.1.0