[SPEC] Indexing Function/Procedure Calls

Currently the spec states that accesses into a function return that is a tuple are illegal directly. The tuple must first be assigned to a variable and only then can it be accessed.

The same rule is not stated for indexing into an array return.

Should it be?