To me it seems logical that
Option<U> should be comparable if
U are comparable (i.e.
impl PartialEq<U> for T). However, it seems that
Option<T> can only be compared with
Result<T, E> can only be compared with
Result<T, E>, and not some other
Result<U, F>, where
T: PartialEq<U> and
Is there a reason for this restriction?