fn is_dst(ty: &Type) -> bool
Box<[T]> and Box<str> are idiomatic owned DSTs, not wrapper leakage.
Box<[T]>
Box<str>