julia
Force inference of `convert(::Type{T}, ::T) where T` via typeasserts
#46573

Merged

Force inference of `convert(::Type{T}, ::T) where T` via typeasserts #46573

KristofferC merged 3 commits into JuliaLang:master from thchr:oneto-inval

aviatesk commented on 2022-09-01

thchr force pushed from 99160087 to 03533fd4 3 years ago

vtjnash approved these changes on 2022-09-01

thchr changed the title ~~Improve inference of `last(::OneTo{<:Any})`~~ Force inference of `convert(::Type{T}, T) where T` via typeasserts 3 years ago

dkarrasch added compiler:inference

thchr changed the title ~~Force inference of `convert(::Type{T}, T) where T` via typeasserts~~ Force inference of `convert(::Type{T}, ::T) where T` via typeasserts 3 years ago

improve inference for callers of `last(::OneTo{<:Any})` and `first(::…

269f7d54

use more general fix suggested by @vtjnash

0224bfc7

typeassert return type of all methods of `convert(Type{T}, T) where T`

cfa51489

thchr force pushed from 82655a2d to cfa51489 3 years ago

KristofferC merged ffaaa303 into master 3 years ago

thchr deleted the oneto-inval branch 3 years ago

Reviewers

vtjnash

aviatesk

Assignees

No one assigned

Labels

compiler:inference

Milestone

No milestone

julia Force inference of `convert(::Type{T}, ::T) where T` via typeasserts #46573 Merged

Force inference of `convert(::Type{T}, ::T) where T` via typeasserts #46573

julia
Force inference of `convert(::Type{T}, ::T) where T` via typeasserts
#46573

Merged