| 1855 | }; |
| 1856 | |
| 1857 | void write_char(char_type value) { |
| 1858 | if (specs_) |
| 1859 | writer_.write_padded(*specs_, char_writer{value}); |
| 1860 | else |
| 1861 | writer_.write(value); |
| 1862 | } |
| 1863 | |
| 1864 | void write_pointer(const void* p) { |
| 1865 | writer_.write_pointer(internal::to_uintptr(p), specs_); |
no test coverage detected