pub fn fold_type_never<F>(f: &mut F, node: TypeNever) -> TypeNeverwhere
    F: Fold + ?Sized,