065 pub proc double tilde

Code

// Test: ~pub ~proc variant is also rejected
// Parser catches both "pub proc" and "pub ~proc" variants

~event foo { x: i32 }
| done {}

~pub ~proc foo = done {}

Expected Output

error[PARSE003]: 'pub' is not valid on proc declarations - only events can be public
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_065_pub_proc_double_tilde/input.kz:8:1
    |
  8 | ~pub ~proc foo = done {}
    | ^