> А фишка в том, что format_args раскрывается на этапе компиляции, а не
> выполнения, в отличие от других языков.

Это да, но это не причина по которой он является built-in. В Rust есть процедурные макросы, которые позволяют реализовать точно такой же функционал, т.е на этапе компиляции генерировать код не по шаблону, те же #[derive(...)] являются процедурными макросами.
И format_args с чуть изменённым синтаксисом можно было бы сделать тоже процедурным макросом.

Вот например есть крейт ufmt, реализующий форматирование с намного меньшим количеством кода (Это полезно для embedded): https://docs.rs/ufmt/latest/ufmt/macro.uwriteln.html
И это как раз аналог writeln!(), но реализованный не через built-in format_args!, а как процедурный макрос.