unreachable-code false-positive

[Sainan]

if false and true then
else
end

index.pluto:2: warning: unreachable code [unreachable-code]
    2 | else
      | ^^^^ here: the condition in the if block is always truthy, hence this else block is unreachable.