Data races are currently prevented by the borrow checker. Any GC in order to provide equivalent correctness would need to do so as well.