---

yaml
---
r: 15622
b: refs/heads/try
c: 9280d0c
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: b04b415e0d6c8b069fd2ee9ed2b5aba097413229
+refs/heads/try: 9280d0c090ab62a1800c0e423b1da95b1e7db7ec
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/doc/rust.md

@@ -2177,7 +2177,8 @@ alt x {
 
 The first pattern matches lists constructed by applying `cons` to any head value, and a
 tail value of `@nil`. The second pattern matches `any` list constructed with `cons`,
-ignoring the values of its arguments. 
+ignoring the values of its arguments. The difference between `_` and `*` is that the pattern `C(_)` is only type-correct if
+`C` has exactly one argument, while the pattern `C(*)` is type-correct for any enum variant `C`, regardless of how many arguments `C` has.
 
 To execute an `alt` expression, first the head expression is evaluated, then
 its value is sequentially compared to the patterns in the arms until a match