F

Fix returns inside while cycles.
    typing of Returns looked for directly enclosing method, but didn't take in
    account presence of synthesised labels. So if one had a return inside a
    while loop it would be adapted to type of while, which is always unit. The
    adaption always succeeds and it was left unnoticed.

review by @odersky please