fn argument_shape( left: usize, right: usize, combine: bool, shape: Shape, context: &RewriteContext<'_>, ) -> Option<Shape>