✓
Passing This code compiles and runs correctly.
Code
// ============================================================================
// VERIFIED REGRESSION TEST - DO NOT MODIFY WITHOUT DISCUSSION
// ============================================================================
// Test 502: Void event with no branch handlers
// Tests that shape checker allows void events without branch handlers
// Demonstrates: Events with no output branches work correctly
import std/io
// Void events have no output branches, so no branch handling required
std/io:print.ln("First line")
std/io:print.ln("Second line")
std/io:print.ln("Third line")
Actual
First line
Second line
Third line
Expected output
First line
Second line
Third line
Flows
flow ~print.ln click a branch to expand · @labels scroll to their anchor
print.ln (expr: "First line")
flow ~print.ln click a branch to expand · @labels scroll to their anchor
print.ln (expr: "Second line")
flow ~print.ln click a branch to expand · @labels scroll to their anchor
print.ln (expr: "Third line")
Test Configuration
MUST_RUN