[wgsl] update validation rules

sarahM0 · sarahM0 · commit fe64fb4590ec · 2020-11-23T15:06:06.000-05:00
diff --git a/wgsl/index.bs b/wgsl/index.bs
@@ -3513,22 +3513,16 @@ Each validation item will be given a unique ID and a test must be provided
 when the validation is added. The tests will reference the validation ID in
 the test name.
 
+* v-0001: A declaration must not introduce a name when that name is already in scope at the start
+          of the the declaration.
 * v-0002: Non-void functions must end with a return statement.
 * v-0003: At least one of vertex, fragment or compute shader must be present.
 * v-0004: Recursion is not allowed.
-* v-0005: Functions must be declared before use.
-* v-0006: Variables must be defined before use.
 * v-0007: Structures must be defined before use.
 * v-0008: switch statements must have exactly one default clause.
-* v-0009: break is only permitted in loop and switch constructs.
+* v-0009: Break is only permitted in loop and switch constructs.
 * v-0010: continue is only permitted in loop.
-* v-0011: Global variable names must be unique.
-* v-0012: Structure names must be unique.
-* v-0013: Variables declared in a function must be unique between that function
-          and any global variables.
-* v-0014: Variables declared in a function must have unique names.
 * v-0015: Runtime arrays may only appear as the last member of a struct.
-* v-0016: Function names must be unique.
 * v-0017: Builtin decorations must have the correct types.
 * v-0018: Builtin decorations must be used with the correct shader type and
           storage class.
@@ -3542,7 +3536,9 @@ the test name.
 * v-0026: The case selector values must have the same type as the selector expression.
 * v-0027: A literal value must not appear more than once in the case selectors for a switch statement.
 * v-0028: A fallthrough statement must not appear as the last statement in last clause of a switch.
-
+* v-0029: Return must come last in its block.
+* v-0030: The storage type of a struct containing a runtime-sized array must be a of storage class 
+  
 
 # Built-in variables # {#builtin-variables}
 
