fn compare_impl<'a, 'b>(
    lhs: &'a &&Impl,
    rhs: &'b &&Impl,
    cx: &Context<'_>
) -> Ordering