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