src/test/ui/chalkify/lower_env3.rs

// check-pass
// compile-flags: -Z chalk

#![allow(dead_code)]

trait Foo {
    fn foo(&self);
}

impl<T> Foo for T where T: Clone {
    fn foo(&self) {
    }
}

fn main() {
}