JuliaLang / julia / 1556
78%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 352
Run time 2min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 77.655% (-0.1%) from 77.782%
1556

push

buildkite

web-flow 
type system: Refactor Type{} structure (#61915)

This refactors `Type` to be a proper kind (like Union) rather than a
magic DataType. In addition, the (also, but separately) magic Type{T} (T
free) supertype of `DataType` is replaced by a proper abstact type. The
previous design dates back to before DataType and UnionAll were separate
concepts and were essentially a hack to make `Type` behave properly.
Such hacks are no longer required. This PR is primarily prepratory to
address several long-standing soundness issues around the subtyping of
Type, but this PR itself does not address those issues yet - it is
intended to be purely the structural change that will enable those
changes in a follow on PR.

The new kind is called TypeEq, but `const Type = TypeEq{T} where T` is
retained, so users keep using `Type{}` as usual. The new supertype of
DataType is called `AnyType` and `Type == AnyType` (but not === of course).

`getproperty` overloads are provided for compatibility, but the
recommended accessor for new code is a (new) `Base.type_parameter`.

Written by GPT 5.5

---------

Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: Keno Fischer <Keno@users.noreply.github.com>
Co-authored-by: OpenAI <support@openai.com>
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

160 of 251 new or added lines in 20 files covered. (63.75%)

174 existing lines in 16 files now uncovered.

65842 of 84788 relevant lines covered (77.65%)

22456461.74 hits per line

Uncovered Changes

Lines Coverage ∆ File
31
59.43
 0.33% Compiler/src/typelimits.jl
21
73.71
 -0.0% Compiler/src/tfuncs.jl
8
63.73
 0.12% base/errorshow.jl
6
73.73
 -0.34% Compiler/src/inferencestate.jl
6
69.57
 1.71% base/deprecated.jl
5
85.45
 -0.06% Compiler/src/typeinfer.jl
3
85.74
 -0.07% Compiler/src/ssair/inlining.jl
3
78.97
 0.45% base/promotion.jl
2
75.96
 -0.55% Compiler/src/utilities.jl
2
74.75
 -2.37% base/show.jl
1
75.47
 -0.24% Compiler/src/ssair/passes.jl
1
83.7
 0.04% Compiler/src/typelattice.jl
1
86.65
 -0.26% base/hashing.jl
1
44.98
 0.0% base/methodshow.jl

Coverage Regressions

Lines Coverage ∆ File
57
74.75
 -2.37% base/show.jl
51
64.23
 -20.73% stdlib/LibGit2/src/callbacks.jl
23
53.74
 -0.04% base/initdefs.jl
11
90.14
 -7.75% stdlib/LibGit2/src/gitcredential.jl
8
72.38
 -7.62% base/secretbuffer.jl
6
92.31
 -2.31% stdlib/LibGit2/src/types.jl
4
79.59
 -1.1% Compiler/src/inferenceresult.jl
4
75.47
 -0.24% Compiler/src/ssair/passes.jl
2
69.81
 -0.19% base/precompilation.jl
2
73.73
 -0.34% Compiler/src/inferencestate.jl
1
84.21
 -5.26% base/baseext.jl
1
90.35
 -0.44% base/cmd.jl
1
88.75
 -0.18% base/reinterpretarray.jl
1
82.47
 0.63% base/runtime_internals.jl
1
29.58
 -0.7% base/terminfo.jl
1
59.43
 0.33% Compiler/src/typelimits.jl
Jobs
ID Job ID Ran Files Coverage
1556 windows-coverage - 1556 318
76.45
1556 macos-coverage - 1556 352
76.4
1556 linux-coverage - 1556 351
76.41
Source Files on build 1556