012 reject pub proc

✓ Passing This code compiles and runs correctly.

Code

// Test: pub proc should be rejected
// Only events can be pub, procs cannot.
// Procs are implementation details - they follow their event's visibility.

~pub tor greet { name: string } -> string

// This should cause a compiler error - pub is not valid on procs
~pub proc greet {
    return "Hello!";
}

input.kz

Frontend must reject with:

CONTAINS error[PARSE003
CONTAINS not valid on proc declarations

Expected compiler error

error[PARSE003]: 'pub' is not valid on proc declarations - only events can be public
  --> tests/regression/000_CORE_LANGUAGE/020_EVENTS_FLOWS/020_012_reject_pub_proc/input.kz:8:1
    |
  8 | ~pub proc greet {
    | ^

← 011 reject tilde inside flow 013 reject function call in branch constructor →