fn default_chaining_impl<T, U: ?Sized>( lhs: &T, rhs: &U, p: impl FnOnce(Ordering) -> bool, ) -> ControlFlow<bool>where T: PartialOrd<U> + ?Sized,