doc: Mention argument bindings in manual
diff --git a/doc/rust.md b/doc/rust.md
index 3a3c371..210e07d 100644
--- a/doc/rust.md
+++ b/doc/rust.md
@@ -876,6 +876,13 @@
 }
 ~~~~
 
+As with `let` bindings, function arguments are irrefutable patterns,
+so any pattern that is valid in a let binding is also valid as an argument.
+
+~~~
+fn first((value, _): (int, int)) -> int { value }
+~~~
+
 
 #### Generic functions