The issue is a difference between how PhiAnalysis and TypeAnalysis
handle OSR compilations: type analysis is osr-aware but phi analysis
isn't.  I think the right solution to this is to make phi and
definedness analysis also osr aware, but I want to get these other changes
in.