Float[] * Real is a Float[]?

[kinke]

On Wednesday, 11 December 2019 at 06:27:35 UTC, Jab wrote:
> Still doesn't really make sense. The compiler is explicitly 
> giving those types, it seems to be a bug.
>
> typeof(float * real) == real
>
> That shouldn't be different for arrays, if it should be 
> different for an array then you should have to explicitly cast 
> the real to float.

I guess that's a legitimate point. As long as the druntime 
array-op implementation is already prepared for such flexibility 
in used input and output types, the compiler could be adapted 
accordingly. - Mixing types probably hurts vectorizability though.