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