//@ known-bug: #122710
use std::marker::PhantomData;

pub trait BarTrait<T> {
  fn bar(self, _: T);
}

impl<T, F: Fn(T)> BarTrait<T> for F {
  fn bar(self, _: T) { }
}

impl<T: for<'a> MyTrait<'a>> BarTrait<T> for () {
  fn bar(self, _: T) { }
}

pub trait MyTrait<'a> { }

impl<'a> MyTrait<'a> for PhantomData<&'a ()> { }

fn foo() {
  ().bar(PhantomData);
}

pub fn main() {}