fn variadic_error<'tcx>(
    sess: &'tcx Session,
    span: Span,
    ty: Ty<'tcx>,
    cast_ty: &str
)