Links to all the definitions that are implicitly referenced here:
If a borrow, dereference, field, or tuple indexing expression has an extended temporary scope then so does its operand. If an indexing expression has an extended temporary scope then the indexed expression also has an extended temporary scope.
Each of the places I linked starts with a grammar, fortunately 