test case

Author: thchr

test/compiler/inference.jl

@@ -4191,3 +4191,6 @@ end
 
 # Test that Const ⊑ PartialStruct respects vararg
 @test Const((1,2)) ⊑ PartialStruct(Tuple{Vararg{Int}}, [Const(1), Vararg{Int}])
+
+# inference of abstractly-typed convert calls: https://github.com/JuliaLang/julia/pull/46573
+@test Base.return_types(convert, (Type{<:Number}, Number)) == Any[Number, Number]