Function is_positive_literal 

fn is_positive_literal(expr: &Expr<'_>) -> bool

Whether an expression is a positive integer literal: 1, 2, never 0.