Add check for the variable requirement (#6677)

* Add check for the variable requirement

This change adds the capability check for the variables requirement.
With this check, the shader
```
[require(cpp_cuda_glsl_hlsl_metal_spirv)]
Buffer<float> InputTyped;
[require(cpp_cuda_glsl_hlsl_metal_spirv)]
RWBuffer<float> OutputTyped;
```
will issue error if targeting to WSGL
e.g. `.\build\Debug\bin\slangc .\tests\wgsl_no_buffer.slang -o
wgsl_no_buffer.txt -target wgsl -entry Main -stage compute`

.\tests\wgsl_no_buffer.slang(2): error 36108: 'InputTyped' has dependencies that are not compatible on the required target 'wgsl'.
Buffer<float> InputTyped;
              ^~~~~~~~~~
.\tests\wgsl_no_buffer.slang(4): error 36108: 'OutputTyped' has dependencies that are not compatible on the required target 'wgsl'.
RWBuffer<float> OutputTyped;
                ^~~~~~~~~~~

Fixes #6304

* Add var capability tests

* Do capability checks for global var only

* Add inferredCapabilityRequirements to var capability check

* Add requirement to the intrinsic types Buffer/RWBuffer

* format code

* Update capabliity test

* use DefaultDataLayout as default data layout

* Use visitMemberExpr to check the capabilities

* Update the cap tests to match the error messages

* update test to use the ScalarDataLayout for hlsl target

* Update tests check condition to use error number only

* Add default push_constant data layout type

---------

Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>

0 files changed, 0 insertions, 0 deletions