Pre-RFC: &[T: Trait] -> &dyn [Trait]

mversic:

there is no way for the author of a function kita to constrain the fn signature to allow only arguments of the same type, although the exact type is unknown

How would you actually ever call such a function? Seems like you'd never be able to pass normal &dyns to it.