pub fn ser_execution_details(
object: &mut ::aws_smithy_json::serialize::JsonObjectWriter,
input: &crate::types::ExecutionDetails,
) -> Result<(), ::aws_smithy_http::operation::error::SerializationError> {
if let Some(var_1) = &input.summary {
object.key("summary").string(var_1.as_str());
}
if let Some(var_2) = &input.external_execution_id {
object.key("externalExecutionId").string(var_2.as_str());
}
if let Some(var_3) = &input.percent_complete {
object.key("percentComplete").number(
#[allow(clippy::useless_conversion)]
::aws_smithy_types::Number::NegInt((*var_3).into()),
);
}
Ok(())
}