---

yaml
---
r: 5975
b: refs/heads/master
c: 5a0f185
h: refs/heads/master
i:
  5973: e9b7d80
  5971: 7ff2c55
  5967: 30e730a
v: v3

Author: mbrubeck

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 26d839216b8ca34545f05cf595c6d7044003679a
+refs/heads/master: 5a0f18558efc7ddb9cee6788bf74aa9876682bfa

trunk/doc/rust.texi

@@ -2930,6 +2930,7 @@ effects of the expression's evaluation.
 * Ref.Expr.Ret::                Expression for stopping and producing a value.
 @c * Ref.Expr.Be::                 Expression for stopping and executing a tail call.
 * Ref.Expr.Put::                Expression for pausing and producing a value.
+* Ref.Expr.As::                 Expression for casting a value to a different type.
 * Ref.Expr.Fail::               Expression for causing task failure.
 * Ref.Expr.Log::                Expression for logging values to diagnostic buffers.
 * Ref.Expr.Note::               Expression for logging values during failure.
@@ -3116,6 +3117,30 @@ either continuing execution after the @code{put} expression, or terminating its
 execution and destroying the iterator frame.
 
 
+@node       Ref.Expr.As
+@subsection Ref.Expr.As
+@c * Ref.Expr.As::                 Expression for casting a value to a different type.
+@cindex As expression
+@cindex Cast
+@cindex Typecast
+
+Executing an @code{as} expression casts the value on the left-hand side to the
+type on the right-hand side.
+
+A numeric value can be cast to any numeric type.  A native pointer value can
+be cast to or from any integral type or native pointer type.  Any other cast
+is unsupported and will fail to compile.
+
+An example of an @code{as} expression:
+@example
+fn avg(v: [float]) -> float @{
+  let sum: float = sum(v);
+  let sz: float = std::vec::len(v) as float;
+  ret sum / sz;
+@}
+@end example
+
+
 @node       Ref.Expr.Fail
 @subsection Ref.Expr.Fail
 @c * Ref.Expr.Fail::               Expression for causing task failure.