#37408

pending completion

Build # #37408

Build Type

push

local

Committed by

web-flow

Commit Message

Don't bail out of inference early if effects could still be refined (#48263)

We have an early out in inference that bails if the inferred return
type of the method being called is `Any`. This makes sense in the
absence of effects, because once the rt has hit `Any`, there is
nothing new we can learn by looking at any subsequent calls.
However, in the presence of effects, we likely want to keep
going if we can prove all methods of the callsite `:foldable` as
being `:foldable` can save significant inference time down the
line if it enables concrete evaluation of the containing function.

Run Details

79199 of 85003 relevant lines covered (93.17%)

30293545.76 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

98.59

/strings/string.jl

Source Not Available

The file "strings/string.jl" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.

JuliaLang / julia / #37408

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source Not Available

Source File
Press 'n' to go to next uncovered line, 'b' for previous