Migrate write.rs
to rustc_ast::FormatArgs
#10275
Merged
write.rs
to rustc_ast::FormatArgs
#10275