#![warn(clippy::format_push_string)]
#![no_std]

extern crate alloc;

use alloc::format;
use alloc::string::String;

fn foo(string: &mut String) {
    use core::fmt::Write;

    // TODO: recognize the already imported `fmt::Write`, and don't suggest importing it again
    let _ = write!(string, "{:?}", 1234);
    //~^ format_push_string
}