Skip to content

Type inference regression #51510

Closed
Closed
@KristofferC

Description

@KristofferC

https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/by_hash/491dfb5_vs_a468aa1/AccessorsExtra.primary.log started occurring on the 1.10 backport branch and is also happening on master.

According to @vtjnash, this is due to:

julia> Base.return_types(Base.promote_type, (Type{Any}, Any))
3-element Vector{Any}:
 Type{Any}
 Type{Any}
 Type{Any}

julia> Base.return_types(Base.promote_type, (Type{Any}, DataType))
2-element Vector{Any}:
 Type{Any}
 Any # oops

julia> Base.return_types(Base.promote_type, (Type{Any}, Type))
3-element Vector{Any}:
 Type{Any}
 Type{Any}
 Type{Any}

Metadata

Metadata

Assignees

No one assigned

    Labels

    compiler:inferenceType inferenceregressionRegression in behavior compared to a previous version

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions