martinholters
commented
6 years ago This is this assertion firing: https://github.com/JuliaLang/julia/blob/daa58bb183799aac11f069e5b17a689e7fb8ec1b/base/inference.jl#L995
The types being compared are
t = Tuple{typeof(Base.LinAlg.A_mul_B!),
T,
ToeplitzMatrices.Toeplitz{T, Base.Complex{Float32}},
Base.SubArray{_, 2, _, _, true} where _<:Tuple{Vararg{Union{Int64, Base.AbstractRange{Int64}, Base.AbstractCartesianIndex{N} where N}, N} where N} where _<:Union{Base.ReshapedArray{T, N, A, MI} where MI<:Tuple{Vararg{Base.MultiplicativeInverses.SignedMultiplicativeInverse{Int64}, N} where N} where A<:Union{Base.SubArray{T, N, P, I, true} where I<:Tuple{Union{Base.Slice{T} where T<:(Base.AbstractUnitRange{T} where T), Base.UnitRange{T} where T<:Real}, Vararg{Any, N} where N} where P where N where T, DenseArray{T, N} where N where T} where N where T, DenseArray{T, N} where N where T} where _,
T,
Base.SubArray{T, 2, _, _, false} where _<:Tuple{Vararg{Union{Int64, Base.AbstractRange{Int64}, Base.AbstractCartesianIndex{N} where N}, N} where N} where _<:Union{Base.ReshapedArray{T, N, A, MI} where MI<:Tuple{Vararg{Base.MultiplicativeInverses.SignedMultiplicativeInverse{Int64}, N} where N} where A<:Union{Base.SubArray{T, N, P, I, true} where I<:Tuple{Union{Base.Slice{T} where T<:(Base.AbstractUnitRange{T} where T), Base.UnitRange{T} where T<:Real}, Vararg{Any, N} where N} where P where N where T, DenseArray{T, N} where N where T} where N where T, DenseArray{T, N} where N where T}
} where T<:Number
r = Tuple{typeof(Base.LinAlg.A_mul_B!),
T,
ToeplitzMatrices.Toeplitz{T, S} where S<:Number where T<:Number,
Base.SubArray{T, N, P, I, L} where L where I where P where N where T,
T,
Base.SubArray{T, N, P, I, L} where L where I where P where N where T
} where T<:NumberUnfortunately, these don't parse as they print, but I think t <: r should actually be true, and the reduced example would be
julia> (Tuple{T,Ref{T},T} where T) <: (Tuple{T,Ref,T} where T)
falsewhich I think should also be true.
vtjnash
User-764Q
KristofferC
gbaraldi
I get the error
using the
dl/0.7branch of ToeplitzMatrices.jl on the last build o f0.7. The full stack trace is below, and version info at the bottom.