Pattern name^: value
binds name
, while name: value
never does (except for identifiers)#1663
Merged
edemaine merged 2 commits intomainfrom pattern-bindDec 27, 2024
+139-83