rustc_middle::ty::inhabitedness::inhabited_predicate

Function try_and

Source 
fn try_and<T, E>(
    a: T,
    b: T,
    f: impl FnMut(T) -> Result<bool, E>,
) -> Result<bool, E>