fn item_opaque_ty(
    w: &mut impl Write,
    cx: &mut Context<'_>,
    it: &Item,
    t: &OpaqueTy
)