This validation needs to check if Textures or TypedBuffers are not bounded to root descriptors. Example:

  // B is TypedBuffer, but bound as a root descriptor.
  Buffer<float> B : register(t0);
  [RootSignature("SRV(t0)")]
  float main() : SV_Target {
    return B[0];
  }

AC:

• Update Root Signature Analysis to make verification.
• Add unit testing.