% roc test affine-cipher-test.roc 🌿add-several-exercises thread 87065254 panic: postcheck invariant violated: active Monotype TypeId requested for an unresolved instantiation graph node roc test ✓ Parsing 2ms ✓ Name Resolution 3ms ✓ Type Inference 0ms ✓ Test Planning 0ms /Users/ageron/dev/software/roc/src/postcheck/common.zig:122:24: 0x10a01455f in invariant__anon_421646 (roc) std.debug.panic("postcheck invariant violated: {s}", .{message}); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/solve.zig:3798:29: 0x10a014093 in activeTypeViewForNode (roc) Common.invariant("active Monotype TypeId requested for an unresolved instantiation graph node"); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:13286:52: 0x10a013d17 in activeTypeFromNode (roc) return try self.graph.activeTypeViewForNode(node); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:32147:44: 0x10a2b9763 in lowerDispatchExprAtType (roc) try self.activeTypeFromNode(plan_ret_node), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30828:68: 0x10a01ba97 in lowerExprAtTypeCellInner (roc) break :blk try self.lowerDispatchExprAtType(self.view.bodies.expr(checked_expr).ty, plan, cell); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30785:54: 0x10a01a1eb in lowerExprAtTypeCellWithKnownDivergence (roc) try self.lowerExprAtTypeCellInner(checked_expr, cell, expected_node); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30750:63: 0x10a019a4f in lowerExprAtTypeCellWithDemand (roc) return try self.lowerExprAtTypeCellWithKnownDivergence( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30741:54: 0x10a01984f in lowerExprAtTypeCell (roc) return try self.lowerExprAtTypeCellWithDemand(checked_expr, cell, .runtime_value); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:42043:41: 0x10a2121cb in lowerMatch__anon_448055 (roc) try self.lowerExprAtTypeCell(match.cond, scrutinee_cell); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:40664:45: 0x10a2b54e7 in lowerMatchExprAtTypeCell__anon_421968 (roc) const data = try self.lowerMatch( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:40647:49: 0x10a29dbcb in lowerMatchExpr__anon_447419 (roc) return try self.lowerMatchExprAtTypeCell(expr_id, match, .{ .sealed = result_ty }); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:18033:62: 0x10a200b43 in lowerExprWithType (roc) .match_ => |match| return try self.lowerMatchExpr(expr_id, match, ty), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:31084:51: 0x10a2e578f in lowerExprAtTypeWithDemandInner (roc) const lowered = try self.lowerExprWithType(checked_expr, ty); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30778:60: 0x10a019f83 in lowerExprAtTypeCellWithKnownDivergence (roc) try self.lowerExprAtTypeWithDemandInner(checked_expr, ty); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30750:63: 0x10a019a4f in lowerExprAtTypeCellWithDemand (roc) return try self.lowerExprAtTypeCellWithKnownDivergence( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30741:54: 0x10a01984f in lowerExprAtTypeCell (roc) return try self.lowerExprAtTypeCellWithDemand(checked_expr, cell, .runtime_value); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30733:44: 0x10a02bfd3 in lowerExprAtType (roc) return try self.lowerExprAtTypeCell(checked_expr, .{ .sealed = ty }); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30423:61: 0x10a11e2cf in lowerDispatchOperandAtType (roc) .checked_expr => |expr| try self.lowerExprAtType(expr, ty), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:32265:52: 0x10a2d837f in lowerClosedDispatchOperandsAtTypes__anon_457152 (roc) try self.lowerDispatchOperandAtType(operand, ty), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:32204:76: 0x10a2d7147 in lowerClosedDirectLowLevelDispatch (roc) const lowered = switch (try self.lowerClosedDispatchOperandsAtTypes( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:31955:93: 0x10a2b6d93 in lowerDispatchExprAtType (roc) .low_level => |op| return try self.lowerClosedDirectLowLevelDispatch( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30828:68: 0x10a01ba97 in lowerExprAtTypeCellInner (roc) break :blk try self.lowerDispatchExprAtType(self.view.bodies.expr(checked_expr).ty, plan, cell); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30785:54: 0x10a01a1eb in lowerExprAtTypeCellWithKnownDivergence (roc) try self.lowerExprAtTypeCellInner(checked_expr, cell, expected_node); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30750:63: 0x10a019a4f in lowerExprAtTypeCellWithDemand (roc) return try self.lowerExprAtTypeCellWithKnownDivergence( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30741:54: 0x10a01984f in lowerExprAtTypeCell (roc) return try self.lowerExprAtTypeCellWithDemand(checked_expr, cell, .runtime_value); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:43261:45: 0x10a2b6237 in lowerBlockAtTypeCell__anon_421962 (roc) try self.lowerExprAtTypeCell(block.final_expr, result_cell), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30842:79: 0x10a01b17f in lowerExprAtTypeCellInner (roc) .block => |block| break :blk try self.lowerBlockAtTypeCell(block, cell), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30785:54: 0x10a01a1eb in lowerExprAtTypeCellWithKnownDivergence (roc) try self.lowerExprAtTypeCellInner(checked_expr, cell, expected_node); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30750:63: 0x10a019a4f in lowerExprAtTypeCellWithDemand (roc) return try self.lowerExprAtTypeCellWithKnownDivergence( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30741:54: 0x10a01984f in lowerExprAtTypeCell (roc) return try self.lowerExprAtTypeCellWithDemand(checked_expr, cell, .runtime_value); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:17308:41: 0x10a2ecd5b in lowerLambdaArgsAndBodyAtCell (roc) try self.lowerExprAtTypeCell(checked_body, body_ret_cell) ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:17185:62: 0x10a2e9807 in lowerLambdaTemplateAtNode__anon_410491 (roc) const lowered = try self.lowerLambdaArgsAndBodyAtCell( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:17400:50: 0x10a350b9f in lowerNestedLambdaTemplateAtNode__anon_464614 (roc) return try self.lowerLambdaTemplateAtNode(lambda_id, lambda, fn_node); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:17384:68: 0x10a35059b in lowerNestedFunctionAtNode (roc) break :blk try self.lowerNestedLambdaTemplateAtNode(closure.lambda, lambda_expr.data.lambda, fn_node); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:5732:65: 0x10a34eaf3 in lowerDraftNestedFromContext (roc) const lowered = try nested_ctx.lowerNestedFunctionAtNode(expr_id, body_fn_node, capture_entry_guards); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:31714:60: 0x10a0633e3 in ensureClosureAtNode__anon_425324 (roc) return try self.builder.lowerDraftNestedFromContext( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:31813:49: 0x10a062b9f in ensureNestedCallableAtNode (roc) _ = try self.ensureClosureAtNode(expr_id, closure, request_fn_node, capture_nodes.items); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:32070:72: 0x10a2b81bb in lowerDispatchExprAtType (roc) .checked_expr => |expr| try self.ensureNestedCallableAtNode(expr, callable_graph.args[index]), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30828:68: 0x10a01ba97 in lowerExprAtTypeCellInner (roc) break :blk try self.lowerDispatchExprAtType(self.view.bodies.expr(checked_expr).ty, plan, cell); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30785:54: 0x10a01a1eb in lowerExprAtTypeCellWithKnownDivergence (roc) try self.lowerExprAtTypeCellInner(checked_expr, cell, expected_node); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30750:63: 0x10a019a4f in lowerExprAtTypeCellWithDemand (roc) return try self.lowerExprAtTypeCellWithKnownDivergence( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30741:54: 0x10a01984f in lowerExprAtTypeCell (roc) return try self.lowerExprAtTypeCellWithDemand(checked_expr, cell, .runtime_value); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30273:45: 0x10a08e2a7 in lowerPreparedExprSpanAtNodes (roc) try self.lowerExprAtTypeCell(checked_expr, DraftTypeCell.fromGraphNode(node)), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:25715:71: 0x10a08b0c3 in lowerCallAtExpectedNode__anon_427653 (roc) const lowered_args = try self.lowerPreparedExprSpanAtNodes(call.args, fn_nodes.args); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:25622:48: 0x10a089a6b in lowerCall__anon_427618 (roc) return try self.lowerCallAtExpectedNode(checked_ret_ty, call, null, null); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30944:35: 0x10a2d975b in lowerCallExprAtNode (roc) try self.lowerCall(expr.ty, call); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30825:69: 0x10a01b07f in lowerExprAtTypeCellInner (roc) .call => break :blk try self.lowerCallExprAtNode(checked_expr, expected_node), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30785:54: 0x10a01a1eb in lowerExprAtTypeCellWithKnownDivergence (roc) try self.lowerExprAtTypeCellInner(checked_expr, cell, expected_node); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:45132:70: 0x10a27793f in lowerPatternStatement (roc) const value = try self.lowerExprAtTypeCellWithKnownDivergence( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:44983:63: 0x10a25ea2b in lowerStatement (roc) const lowered = try self.lowerPatternStatement(decl.pattern, decl.expr, statement.source_region, statement_diverges); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:43337:65: 0x10a25da07 in lowerBlockStatements (roc) const statement_result = try self.lowerStatement(statement, statement_diverges); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:43246:52: 0x10a2b5b3f in lowerBlockAtTypeCell__anon_421962 (roc) const stmts = try self.lowerBlockStatements(block.statements); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30842:79: 0x10a01b17f in lowerExprAtTypeCellInner (roc) .block => |block| break :blk try self.lowerBlockAtTypeCell(block, cell), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30785:54: 0x10a01a1eb in lowerExprAtTypeCellWithKnownDivergence (roc) try self.lowerExprAtTypeCellInner(checked_expr, cell, expected_node); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30750:63: 0x10a019a4f in lowerExprAtTypeCellWithDemand (roc) return try self.lowerExprAtTypeCellWithKnownDivergence( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:30741:54: 0x10a01984f in lowerExprAtTypeCell (roc) return try self.lowerExprAtTypeCellWithDemand(checked_expr, cell, .runtime_value); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:17308:41: 0x10a2ecd5b in lowerLambdaArgsAndBodyAtCell (roc) try self.lowerExprAtTypeCell(checked_body, body_ret_cell) ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:17185:62: 0x10a2e9807 in lowerLambdaTemplateAtNode__anon_410491 (roc) const lowered = try self.lowerLambdaArgsAndBodyAtCell( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:15964:75: 0x109f486f7 in lowerTemplateBodyAtNode (roc) .lambda => |lambda| try self.lowerLambdaTemplateAtNode(body.root_expr, lambda, fn_node), ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:3568:61: 0x109efae17 in lowerReservedTemplateBodyIntoDraft (roc) const lowered = try body_ctx.lowerTemplateBodyAtNode(template_ref, template, root_node); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:3469:68: 0x109ef93b3 in lowerTemplateWithMono (roc) const pending = try self.lowerReservedTemplateBodyIntoDraft( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:6667:59: 0x109ef6f53 in resolveDeferredTemplateSpecs (roc) const def = try self.lowerTemplateWithMono( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:6936:46: 0x109ea0a17 in sealActiveBodyDraft (roc) try self.resolveDeferredTemplateSpecs(body_draft, &sealer); ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:2605:52: 0x10a3a334f in lowerTemplateRootBatch (roc) const sealed = try self.sealActiveBodyDraft( ^ /Users/ageron/dev/software/roc/src/postcheck/monotype/lower.zig:429:51: 0x109e76c13 in run (roc) try builder.lowerTemplateRootBatch(roots.requests[batch_start..root_index]); ^ /Users/ageron/dev/software/roc/src/lir/checked_pipeline.zig:510:48: 0x10983dcdb in lowerCheckedModulesToLir (roc) var mono = try postcheck.Monotype.Lower.run( ^ /Users/ageron/dev/software/roc/src/cli/main.zig:11666:56: 0x10b887cfb in lowerCheckedSourceToLir (roc) return lir.CheckedPipeline.lowerCheckedModulesToLir( ^ /Users/ageron/dev/software/roc/src/cli/main.zig:12453:46: 0x10d331c67 in lowerPlannedTestModule (roc) var lowered = try lowerCheckedSourceToLir( ^ /Users/ageron/dev/software/roc/src/cli/main.zig:12495:52: 0x10d31046b in runCheckedArtifactTests (roc) var lowered_module = try lowerPlannedTestModule(ctx, build_env, 0, planned, plan_entries, opt, specialization_strategy, timing); ^ /Users/ageron/dev/software/roc/src/cli/main.zig:14184:51: 0x10d308a9f in rocTest (roc) } else try runCheckedArtifactTests( ^ /Users/ageron/dev/software/roc/src/cli/main.zig:1447:45: 0x10900c2c7 in mainArgs (roc) .test_cmd => |test_args| try rocTest(&ctx, test_args, args[0]), ^ /Users/ageron/dev/software/roc/src/cli/main.zig:1291:13: 0x10900aa0f in main (roc) mainArgs(gpa, arena, args, init.io) catch |err| { ^ /opt/homebrew/Cellar/zig/0.16.0_1/lib/zig/std/start.zig:737:30: 0x1090070b3 in callMain (roc) return wrapMain(root.main(.{ ^ ???:?:?: 0x1919a2b97 in start (/usr/lib/dyld) zsh: abort roc test affine-cipher-test.roc