Function path_predicate 

fn path_predicate(
    hir: &Hir<'_>,
    expr: &Expr<'_>,
) -> Option<(PathPredicate, bool)>