fn zero_value_expression( ty: &Type, span: Span, node_builder: &NodeBuilder, struct_lookup: &dyn Fn(&[Symbol]) -> Vec<(Symbol, Type)>, ) -> Option<Expression>