1
77%
master: 77%

Ran 24 Jul 2024 10:48AM UTC

Files 361

Run time 11s

Badge

Embed ▾

Committed 24 Jul 2024 06:36AM UTC coverage: 87.54% (+0.03%) from 87.511%

Job # #37848.1

Build Type

push

local

Committed by

web-flow

Commit Message

inference: refine branched `Conditional` types (#55216)

Separated from JuliaLang/julia#40880.
This subtle adjustment allows for more accurate type inference in the
following kind of cases:
```julia
function condition_object_update2(x)
    cond = x isa Int
    if cond # `cond` is known to be `Const(true)` within this branch
        return !cond ? nothing : x # ::Int
    else
        return  cond ? nothing : 1 # ::Int
    end
end
@test Base.infer_return_type(condition_object_update2, (Any,)) == Int
```

Also cleans up typelattice.jl a bit.

Run Details

77540 of 88577 relevant lines covered (87.54%)

16058405.47 hits per line

JuliaLang / julia / #37848 / 1
77%
master: 77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37848.1

JuliaLang / julia / #37848 / 1 77% master: 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37848.1

JuliaLang / julia / #37848 / 1
77%
master: 77%

README BADGES
x