[mcs] Run struct field assignment check on every exit point.