[mcs] Extend intermediate value modification checks on generic value types