Trait ExtPostDepthCoverageExtension
vulkanalia::vk
pub trait ExtPostDepthCoverageExtension: DeviceV1_0 { }
https://www.khronos.org/registry/vulkan/specs/1.2-extensions/man/html/VK_EXT_post_depth_coverage.html
impl ExtPostDepthCoverageExtension for Device