In the current implementation of the initializer functions, data types are unconditionally initialized with their declared type-initializer. If a new initializer is set for an instance, it is currently not initialized correctly.
We should adapt the implementation to allow non-default-initializers in init-functions (fb: foo := (s1 := REF(ps)); such that __init_foo initializes foo.s1 with the address of ps instead of the default type initializer).
In the current implementation of the initializer functions, data types are unconditionally initialized with their declared type-initializer. If a new initializer is set for an instance, it is currently not initialized correctly.
We should adapt the implementation to allow non-default-initializers in init-functions (
fb: foo := (s1 := REF(ps));such that__init_fooinitializesfoo.s1with the address ofpsinstead of the default type initializer).