034 unknown phantom module

✓ Passing This code compiles and runs correctly.

Code

~import std/io
const std = @import("std");
const File = struct {
    handle: i32,
};
~tor check-file { file: *File<unknown:open> }
~proc check-file|zig {
}
~std/io:print.ln("Test file - phantom checker should fail before this runs")

input.kz

Error output must contain

error[KORU040]: Unknown module 'unknown' in phantom type annotation 'unknown:open' (event: check-file). Module not imported.

Flows

flow ~print.ln click a branch to expand · @labels scroll to their anchor

print.ln (expr: "Test file - phantom checker should fail before this runs")

← 033 phantom state mismatch 035 autodischarge prefers void →