#37408
77%

Ran 17 Jan 2023 12:52PM UTC

Jobs 1

Files 381

Run time 17s

Badge

Embed ▾

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	#37408.1	17 Jan 2023 12:52PM UTC	0	93.17

Source Files on build #37408

Detailed source file information is not available for this build.

JuliaLang / julia / #37408
77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37408

JuliaLang / julia / #37408 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37408

JuliaLang / julia / #37408
77%

README BADGES
x