Rua

Is anyone still interested in implementing this? Even if there is no fix that Clippy can propose, just giving the user the ability to track down such casts is already...

While working on #40 I noticed that there are a few places where a key is cloned. This seems like it could be inefficient depending on what's being used as...

To come back to this, the `DESCRIPTOR_REQ_VIEW_TYPE_*` and `DESCRIPTOR_REQ_*_SAMPLE` constants in the source code are used to check for shader-bound resource matching. I noticed that the rules for these checks...

> There is a bit of an issue here with ambiguity on what it means to specify both ("both" or "either"), but since "either" can easily be achieved by just...

I had a look through some of the code involved, to see if I could give this a try. Most of the translation functions return a `WithStmts`, which seems to...

> In specific cases, `alloca` may be able to "bubble up", but in general, it cannot because the argument to `alloca` may be variable and not known at the start...

Good point, I hadn't thought of that. I think that may actually make things a bit easier though, I'll see if I can give it a go soonish.

> I think `&(int){condition--}` involves modifying `condition`, but the temporary value created by the compound literal (`fresh0`) does not need to be mutable, as it is never modified in the...

In the Vulkan spec, `VkPipelineLayoutCreateInfo` doesn't make any allowance for these values being 0. That means that technically Vulkano is correct in applying this rule, and it's really the Vulkan...

`VkPhysicalDeviceDescriptorIndexingProperties` is supported for Vulkan 1.2, so Vulkano is querying the properties. The problem is that the driver is actually returning `VkPhysicalDeviceDescriptorIndexingProperties` with zero values, which is not a case...