Type inference error

[yuyichao]

PyCall test is causing a SIGILL due to what seems to be a type inference/type computation error. Reduced case:

data = Ptr{Float16}(Libc.malloc(1000))
dims = (6, 1)
function copy2(data)
    B = unsafe_wrap(Array, data, dims::Tuple)
    return transpose(B)
end
@code_warntype copy2(data)
copy2(data)

The inferred code is

Variables:
  #self#::#copy2
  data::Ptr{Float16}
  B::Union{Array{Float16,N},Array{Float16,N}}
  #temp#::Core.MethodInstance

Body:
  begin 
      B::Union{Array{Float16,N},Array{Float16,N}} = (Main.unsafe_wrap)(Main.Array,data::Ptr{Float16},(Core.typeassert)(Main.dims,Main.Tuple)::Tuple)::Union{Array{Float16,N},Array{Float16,N}} # line 7:
      return (Main.transpose)(B::Union{Array{Float16,N},Array{Float16,N}})::Union{}
  end::Union{}

The inferred type of B looks weird and the inferred type of transpose is wrong.

Maybe it's related to failing to normalize these types?

julia> Union{Array{Float16,N},Array{Float16,N}} where N
Union{Array{Float16,N},Array{Float16,N}} where N

julia> Union{Array{Float16,N1},Array{Float16,N2}} where N1 where N2
Union{Array{Float16,N1},Array{Float16,N2}} where N1 where N2

@JeffBezanson