#37542
77%

Ran 18 May 2023 12:25PM UTC

Jobs 1

Files 340

Run time 9s

Badge

Embed ▾

pending completion

Build # #37542

Build Type

push

local

Committed by

web-flow

Commit Message

inference: prioritize `SlotNumber`-constraint over `MustAlias`-constraint (#49856)

Currently external `AbstractInterpreter` that uses `MustAliasesLattice`
can fail to propagate type constraint on `SlotNumber` in the call-site
refinement, e.g. fail to infer the return type of `firstitem(::ItrList)`
in the following code:
```julia
struct ItrList
    list::Union{Tuple{},Vector{Int}}
end

hasitems(list) = length(list) >= 1

function firstitem(ilist::ItrList)
    list = ilist.list
    if hasitems(list)
        return list
    end
    error("list is empty")
end
```

(xref: <https://github.com/aviatesk/JET.jl/issues/509#issuecomment-1546658476>)

This commit fixes it up as well as fixes the implementation of
`from_interprocedural!` so that it uses the correct lattice.

Run Details

71262 of 83271 relevant lines covered (85.58%)

34423454.04 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#37542.1	18 May 2023 12:25PM UTC	340	85.58

JuliaLang / julia / #37542
77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37542

JuliaLang / julia / #37542 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37542

JuliaLang / julia / #37542
77%

README BADGES
x