Tests for let+