1
77%
master: 77%

Ran 27 Sep 2023 01:16PM UTC

Files 345

Run time 9s

Badge

Embed ▾

Committed 27 Sep 2023 01:16PM UTC coverage: 86.73% (-0.3%) from 86.999%

Job # #37633.1

Build Type

push

local

Committed by

web-flow

Commit Message

inference: restrict type of type parameter from `Vararg` (#51449)

Inference has been able to restrict type of `Vararg` type parameter `N`
to `Int` for cases like `func(..., ::Vararg{T,N}) where {T,N}`, but this
refinement was not available for signatures like
`func(::Tuple{Vararg{T,N}}) where {T,N}`.

This commit allows the later case to be inferred as well. Now the
following kind of case will be inferred, e.g.:
```julia
julia> function sub2ind_gen_fallback(dims::NTuple{N,Int}, I) where N # N is knonw to be ::Int
           ind = I[N] - 1
           for i = (N - 1):-1:1
               ind = I[i] - 1 + dims[i]*ind
           end
           return ind + 1
       end;

julia> only(Base.return_types(sub2ind_gen_fallback, (NTuple,Tuple{Vararg{Int}})))
Int64
```

Run Details

73055 of 84233 relevant lines covered (86.73%)

12199722.42 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37633.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37633.1

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

README BADGES
x