bare proc no call site succeeds

// Test 8212: Bare ~proc with NO call site compiles (partial-program tenet).
//
// Phase 1 of MULTI_VARIANT_PLAN.md: `~proc name { ... }` (no |variant) is
// parseable but unresolvable. With zero call sites, the unresolvable proc
// is dead code — compilation still succeeds because the resolution rule
// only fires at call sites.

const std = @import("std");

~pub event compute {}

// Bare proc — unresolvable but uncalled, so no error.
~proc compute {
    return .done;
}

// No call site for `compute`. Program is partial but valid.