Not prefix

2026-05-05 23:03:31 +02:00
parent 393830f235
commit a13bba4d02
4 changed files with 5 additions and 0 deletions
@@ -172,12 +172,14 @@ prefix = {
  | mut_ref_px
  | ref_px
  | new_px
+  | not_px
 }

 deref_px   = { "*" }
 mut_ref_px = { "&" ~ mutable }
 ref_px     = { "&" }
 new_px     = { "new" }
+not_px     = { "!" }

 prefix_list = { prefix* }