t.zig:23:5: 0x22eddf in baz (test) try bang1(); ^ /deps/zig/docgen_tmp/test.zig:43:5: 0x22eda2 in bang2 (test) return error.PermissionDenied; ^ /deps/zig/docgen_tmp/test.zig:31:5: 0x22eecf

Theory [2]. For its usage, see [1] or the example [https://github.com/agda/agda/blob/172366db528b28fb2eda03c5fc9804f2cdb1be18/test/Succeed/LaterPrims.agd a]. The implementation currently allows for something