mirror of
https://github.com/gfx-rs/wgpu.git
synced 2026-01-10 23:08:13 -05:00
Implementing it is tracked by #6495. In the mean time it is okay for it to be a no-op. `destroy` just recovers the resources earlier than garbage collection might, doing nothing is not a leak.