pub fn fold_type_trait_object<V: Fold + ?Sized>(
    _visitor: &mut V,
    _i: TypeTraitObject
) -> TypeTraitObject