fn boolean_constant_fold_and(constant_lhs: ExprImpl, rhs: ExprImpl) -> ExprImpl
Expand description
boolean_constant_fold_and
takes the left hand side and right hands side of a Type::And
operator. It is required that the the lhs should always be a constant.