132 default discharge annotation names the tor decl

✓ Passing Passing: the compiler rejects this program as expected.

Code

// A `[!]` default-discharge annotation on a tor with OUTPUT is refused at the
// `~tor` decl line — the declaration owns the error. Decl locations are user
// coordinates while addError stores parser coordinates; untranslated, this
// caret lands one line early (same class 330_130 pins for KORU033/040).
const std = @import("std");
const Handle = struct { n: i32 };

~[!] tor cleanup { h: *Handle<!owned> } -> i32
~proc cleanup|zig { _ = h; return 0; }

input.kz

Actual compiler output

error[KORU083]: [!] annotation requires a void tor (no branches, no `-> T` return) - a tor with output cannot be auto-inserted
  --> tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_132_default_discharge_annotation_names_the_tor_decl/input.kz:8:0

❌ Compiler coordination error: Auto-discharge failed (multiple disposal options or no disposal event)
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Must contain:

KORU083

Test Configuration

MUST_ERROR

← 131 scope exit ambiguity names the arm 133 partial reissue keeps converting arm →