Function with generic type constraint vs function with reference to trait object. Why is one allowed and one not?

Question

Very wordy title, but basically my question is, why am I allowed to do this:

pub fn dot(a: &K, b: &K) -> T where K: InnerProductSpace