JuliaLang / julia / 691

88%

Build Type

push

buildkite

Committed by web-flow

Commit Message

type system: declare the `T` field of `TypeEq` as `Any` (#62948)

`jl_valid_type_param` admits non-type values as type parameters, so
`Type{1}` and `Type{setindex!}` are constructible (as on 1.13), and
subtyping can also produce such types by binding a typevar to a value.
Declaring the field as `Union{AnyType,TypeVar}` let inference unsoundly
devirtualize on the declared field type, so `show` dispatched a function
value parameter to the `TypeVar` method and dereferenced it as one,
segfaulting. Widen the declared field type to `Any` to match what
construction actually admits (this also restores the inference behavior
of the untyped `.parameters` access on 1.13), and make `modulesof!`
tolerate a non-type parameter.

Fixes #62897

Assisted-by: Claude Code (Fable 5)

Coverage Stats

3 of 3 new or added lines in 1 file covered. (100.0%)

194 existing lines in 11 files now uncovered.

91946 of 104300 relevant lines covered (88.16%)

352.05 hits per line