Typestability in matrix multiplication, intended behaviour or bug?

Note that there is no commitment to backporting every bug fix (see the “Long term support” part):