Preserving readonly tracking after a trivial (not emitted) castclass