Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis)#1761
Open
JasonGross wants to merge 3 commits intomit-plv:masterfrom JasonGross:dont-bottomify
+7,141-3,211
