type A = &();
type B = &'static ();
type C = &mut ();