pub fn charlie<C>()where C: MyTrait,