in theory yes you could do a global program analys...

# announcements

[mikehearn]

in theory yes you could do a global program analysis that eliminated all null checks. BUT this comes with a huge practical caveat: such analyses often scale very poorly