[Pharo-dev] ensure: and assignments RB Rule

Nov. 29, 2014

      Hi guys

I'm revisiting all the RB rule and I'm puzzled by this one.

Checks assignment to a variable that is the first statement inside the 
value block that is also used in the unwind block.

[| `@temps |
  `var := `@object.
   `@.statements]
             ensure:
                 [`var `@messages: `@args]

Does anybody have an idea?

Stef

stepharo