Closed koertho closed 3 years ago
I also added the published type to this list, as it is also an inital-only type and not evaluated in this method.
I just checked the other elements.
Following I will add:
I don't know about these elements, if they should also be added, as they are a little special:
@Defcon0 @AlexejKossmann What do you think about the other types?
I will merge this as I need it now, but we can discuss further :)
This PR fixes the issue that some types, that have no "non-intial option" are not evaluated as initial type.
This covers followig types: