Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

There was a problem

You must be a member of this account.

missing return causes wrong method behavior

#16

whenever an invariant is applied on some sort of the following method, the generated code calls the last statement twice

def pop() {
elements.pop() }

vs.

def pop() {
return elements.pop() }

Reported by me (at andresteingress) · April 11th, 2011 @ 11:00 AM

State: resolved
Milestone: 1.2.2
Assigned to: me (at andresteingress) me (at andresteingress)

Activity

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.