team-worthwhile/worthwhile — Issue #23: Return variable reference should allow an array index
Author: jspam
Created: 2012-02-10 16:01:33+00:00
State: open

The following code fails to parse:

function Integer[] x()
_ensures _return[0] = 1
{
return {1}
}