diff --git a/src/expressions.md b/src/expressions.md index 0cfad80340..c96c5b4bb1 100644 --- a/src/expressions.md +++ b/src/expressions.md @@ -167,6 +167,7 @@ The following contexts are *place expression* contexts: * The operand of a unary [borrow], [raw borrow] or [dereference][deref] operator. * The operand of a field expression. * The indexed operand of an array indexing expression. +* The tuple operand of a tuple indexing expression. * The operand of any [implicit borrow]. * The initializer of a [let statement]. * The [scrutinee] of an [`if let`], [`match`][match], or [`while let`] expression. diff --git a/src/items/traits.md b/src/items/traits.md index 54239ca749..ce67e8d736 100644 --- a/src/items/traits.md +++ b/src/items/traits.md @@ -31,7 +31,7 @@ r[items.traits.impls] Traits are implemented for specific types through separate [implementations]. r[items.traits.associated-item-decls] -Trait functions may omit the function body by replacing it with a semicolon. This indicates that the implementation must define the function. If the trait function defines a body, this definition acts as a default for any implementation which does not override it. Similarly, associated constants may omit the equals sign and expression to indicate implementations must define the constant value. Associated types must never define the type, the type may only be specified in an implementation. +Trait functions may omit the function body by replacing it with a semicolon. This indicates that the implementation must define the function. If the trait function defines a body, this definition acts as a default for any implementation which does not override it. Similarly, associated constants may omit the equal sign and expression to indicate implementations must define the constant value. Associated types must never define the type, the type may only be specified in an implementation. ```rust // Examples of associated trait items with and without definitions.