An && (and) evaluates its left hand side. If it's truthy, it evaluates its right hand side and has that value. Otherwise it has the value of the left hand side. Its type is the union of the types of both sides.
You can think an && as syntax sugar of an if:
some_exp1 && some_exp2
# The above is the same as:
tmp = some_exp1
if tmp
some_exp2
else
tmp
end