Shiika/if
VoidNever
if
else else Void end
thenelseif
Nevereg: NeverIntInt
if foo
return # Never
else
1 # Int
end
VoidVoideg: VoidIntVoid
Void
if foo
puts "ok" # Void
else
x += 2 # Int
# Void
end
2eg: ExpressionAdditiveExpressionifExpression
if foo
AdditiveExpression.new
else
Expression.new
end

NeverVoid
bitcast
NeverVoid
Voidbitcast
Never
then/elsemerge blockNever(phi)
Never-Neverphi