#![feature(nll)]

#![allow(unused)]

trait Mirror {
    type Me;
}

impl<T> Mirror for T {
    type Me = T;
}

struct Receiver<A, B>
where A: Mirror<Me = B>,
{
    value: A
}

impl<A, B> Receiver<A, B>
where A: Mirror<Me = B>,
{
    fn foo(&mut self, b: B) { }
}

fn main() {
  let x: &mut Receiver<&'static u32, _> = &mut Receiver { value: &22 };
  let y = 44;
  x.foo(&y);
}