Post #2227713

@Mara@hachyderm.io Probably but that doesn’t mean we still shouldn’t do it. Though it would probably stay #[deprecated] for an extremely long time and would only actually get removed in an edition change.