Consider running tag inference before byte code generation.
Currently it's not part of the "regular" stg2stg pipeline and also not run before we generate bytecode. But it's always run when generating Cmm.
I think the interpreter currently upholds the strict field variant (by always using constructor wrappers) so it doesn't need to run it. But it might be desireable to run it before bytecode gen just for consistency. It shouldn't make a big perf difference one way or another.
I might look into this in the future but it's not high priority at this point.
We decided not to do this for the time being. But we need to assert the byte code generator doesn't see constructor workers/strict workers to avoid this biting us in the future.
Edited by Andreas Klebinger