Move format_push_string to restriction#9161

Merged

bors merged 3 commits intorust-lang:masterfrom Victor-N-Suadicani:move_format_push_string_to_pedantic

Jul 14, 2022

+8-3

Commits on Jul 12, 2022

Moves format_push_string to pedantic.
Victor-N-Suadicani
committed

Commits on Jul 13, 2022

Move to restriction
Victor-N-Suadicani
committed

Commits on Jul 14, 2022

Add Known problems section
Victor-N-Suadicani
committed