tests/ui/closures/print/closure-print-generic-trim-off-verbose-2.rs

// compile-flags: -Ztrim-diagnostic-paths=off -Zverbose-internals

mod mod1 {
    pub fn f<T: std::fmt::Display>(t: T)
    {
        let x = 20;

        let c = || println!("{} {}", t, x);
        let c1 : () = c;
        //~^ ERROR mismatched types
    }
}

fn main() {
    mod1::f(5i32);
}