pub trait ExIndex<Idx>where Idx: ?Sized,{ type ExternalTraitSpecificationFor: Index<Idx>; type Output: ?Sized; }