JuliaLang / julia / #37457

77%

push

local

inference: fix the correctness of inference bail out interface (#48826)

Since we allow overloading of the `bail_out_xxx` hooks, we need to make
sure that we widen both type and effects to the top when bailing on
inference regardless of the condition presumed by a hook.

This commit particularly fixes the correctness of `bail_out_apply`
(fixes #48807). I wanted to make a simplified test case for this, but
it turns out to be a bit tricky since it relies on the details of
multiple match analysis and the bail out logic.

23 of 23 new or added lines in 2 files covered. (100.0%)

71245 of 82445 relevant lines covered (86.42%)

33224057.92 hits per line