//@ check-pass

#![feature(impl_trait_in_bindings)]

// A test for #61773 which would have been difficult to support if we
// were to represent `impl_trait_in_bindings` using opaque types.

trait Foo<'a> { }
impl Foo<'_> for &u32 { }

fn bar<'a>(data: &'a u32) {
  let x: impl Foo<'_> = data;
}

fn main() {
  let _: impl Foo<'_> = &44;
}