Golang like channels

cryptocode · July 21, 2025, 8:11pm

lib/std/Io.zig

8bcc91c15


      
          pub fn putOne(q: *@This(), io: Io, item: Elem) Cancelable!void {
              assert(try q.put(io, &.{item}, 1) == 1);
          }
          
          pub fn getOne(q: *@This(), io: Io) Cancelable!Elem {
              var buf: [1]Elem = undefined;
              assert(try q.get(io, &buf, 1) == 1);
              return buf[0];
          }

Just a quick side quest: Doesn’t the assert here risk put and get calls being optimized away? If not I think I might have misunderstood std.debug.assert’s doc comment and could use some education.

Since assert is a regular function, the argument is evaluated (and is indeed in debug/safe builds), but since the expression is assumed to be true (otherwise unreachable) it seems like the whole expression is allowed to be removed

Is there a difference whether the expression is fallible or not, or is deemed to have side effects?