blob: 40739d6a0ce4b7c6c75e9cab513b529a53757972 [file] [log] [blame]
//@ revisions: current next
//@[next] compile-flags: -Znext-solver
//@ check-pass
trait MyDebug {
fn my_debug(&self);
}
impl<T> MyDebug for &T
where
T: std::fmt::Debug,
{
fn my_debug(&self) {}
}
fn my_bar() -> impl std::fmt::Debug {
if false {
let x = &my_bar();
x.my_debug();
}
()
}
fn main() {}