Call proper function based on parameter's dynamic type

[Ratingulate]

@jonprescott

ecification in the protocol can't be inlined, because there is no code to inline. The method(s) implemented in concrete types that conform to the protocol, and in a protocol extension as a "default" method, can be inlined as appro

Even based on a dynamic type? So when do we get dynamic dispatch through witness table vs a devirtualized call?

For example, in this case: Operator overloading with generics - #4 by scanon

Can Scalar.gemm(m1, m2) be inlined?