pub fn logical_and(a: impl IntoExpr, b: impl IntoExpr) -> Result<Expr>
a && b of two booleans, which are not matched; a constant side folds (C++ logical_and, prim._OpAnd).
a && b
logical_and
prim._OpAnd