Closed dj2 closed 6 months ago
This is covered by atomic type validation that check they can only be instantiated in storage and workgroup address spaces and the variable decl validation that checks storage and workgroup cannot have initializers. Atomic type validation also tests that a bunch of expressions are invalid directly on the atomic.
An atomic can not be initialized, validate that providing an expression for atomic initialization fails.