I thought that this was just an initial translation to unsafe rust in which they haven't actually gained any of those benefits yet, although presumably they can

I thought that this was just an initial translation to unsafe rust in which they haven't actually gained any of those benefits yet, although presumably they can go there quickly now.