Add legalization for 0-sized arrays. (#7327)

* Add legalization for 0-sized arrays.

* Allow 0-sized arrays in the front-end.

* More tests.

* Add `Conditional<T, hasValue>` type to core module.

* Update toc.

* Fix wording.

* Update test.

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/diagnostics/array-neg-size.slang b/tests/diagnostics/array-neg-size.slang
new file mode 100644
index 000000000..660f0b6c5
--- /dev/null
+++ b/tests/diagnostics/array-neg-size.slang
@@ -0,0 +1,13 @@
+// array-zero-size.slang
+
+// Test that array size cannot be zero
+
+//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK):
+
+[numthreads(4, 1, 1)]
+void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
+{
+    bar();
+}
+//CHECK: ([[# @LINE+1]]): error 30025
+func bar() -> int[-1];