MainActor isolated property can not be mutated from deinit

It looks like this is a long-standing open problem that has been addressed in this pitch / this proposal, which is being worked on but hasn't yet landed.