Add tests for `while let`