spir: > (and bug-prone, because sometimes the absence of a fields seems not caught, > for any reason), so I add fields to the top type.
What do you mean? Do you have an example? (Adding fields to the top type doesn't look like a good idea, generally). Bye, bearophile