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