JuliaLang / julia / 1488

93%

Build Type

push

buildkite

Committed by web-flow

Commit Message

show: Handle `TypeApp` bounds in `modulesof!` (#64804)

Since JuliaLang/julia#64691, a bound of a `TypeVar` may be a
`Core.TypeApp` deferred while a typegroup is defined, but `modulesof!`
still expects a type or a type variable there. As a result, printing a
type such as `Union{Nothing, S} where S<:Core.TypeApp(Vector, Int)`
throws a `MethodError`, since `show` looks up type aliases in the
modules collected by `modulesof!`, which recurses into the upper bound
of `S`.

This commit adds a `modulesof!` method for `Core.TypeApp` that collects
no modules, as a `TypeApp` only stands in for a type application until
the typegroup is resolved.

Assisted-by: Claude Code (Opus 5.5)

Coverage Stats

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

287 existing lines in 15 files now uncovered.

98921 of 107249 relevant lines covered (92.23%)

384.31 hits per line