Validation of shader interface matching is insufficient

[Rua]

Vulkano currently checks whether the interfaces of two shaders match, by checking that the values written to each interface location are the same. But the Vulkan spec has a stronger requirement, as described here. There is only a match if the types of the two variables, as defined with SPIR-V opcodes, match. It is possible for two shaders to have the same interface location representation but different actual types, so the current check in Vulkano seems to be not strict enough.

[VictorBulba]

In addition, can shader validation api be exposed to the user? It it very useful for those who write their own engines

[Rua]

That's issue #1558, which I definitely haven't forgotten about. :)