[PATCH v2 3/4] widl: Inline write_args into write_type_right.