Degenerification part 1/3: wgpu-hal DynDevice & friends

wgpu-hal/src/dynamic/device.rs

@@ -0,0 +1,13 @@
+use crate::{Device, DynBuffer};
+
+use super::DynResourceExt;
+
+pub trait DynDevice {
+    unsafe fn destroy_buffer(&self, buffer: Box<dyn DynBuffer>);
+}
+
+impl<D: Device> DynDevice for D {
+    unsafe fn destroy_buffer(&self, buffer: Box<dyn DynBuffer>) {
+        unsafe { D::destroy_buffer(self, buffer.unbox()) };
+    }
+}

wgpu-hal/src/dynamic/mod.rs

@@ -1,6 +1,8 @@
 mod command;
+mod device;
 
 pub use self::command::DynCommandEncoder;
+pub use self::device::DynDevice;
 
 use std::any::Any;
 

wgpu-hal/src/lib.rs

@@ -266,8 +266,8 @@ mod dynamic;
 
 pub(crate) use dynamic::impl_dyn_resource;
 pub use dynamic::{
-    DynBindGroup, DynBuffer, DynCommandEncoder, DynComputePipeline, DynPipelineLayout, DynQuerySet,
-    DynRenderPipeline, DynResource, DynTexture, DynTextureView,
+    DynBindGroup, DynBuffer, DynCommandEncoder, DynComputePipeline, DynDevice, DynPipelineLayout,
+    DynQuerySet, DynRenderPipeline, DynResource, DynTexture, DynTextureView,
 };
 
 use std::{