It isn’t that strange that type inference have a harder time with the || false because I don’t think it does very advanced control flow analysis with constants. So assuming it said || maybe_false() then you don’t know what type you would have in that block since you might enter it even if ai !== missing.