Add visitor for requires expr

Author: lucic71

cpp2rust/converter/converter.cpp

@@ -3717,6 +3717,13 @@ bool Converter::VisitConceptSpecializationExpr(
   return false;
 }
 
+bool Converter::VisitRequiresExpr(clang::RequiresExpr *expr) {
+  assert(!expr->isValueDependent());
+  StrCat(expr->isSatisfied() ? keyword::kTrue : keyword::kFalse);
+  computed_expr_type_ = ComputedExprType::FreshValue;
+  return false;
+}
+
 bool Converter::VisitTypeTraitExpr(clang::TypeTraitExpr *expr) {
   clang::Expr::EvalResult result;
   ENSURE(expr->EvaluateAsInt(result, ctx_));

cpp2rust/converter/converter.h

@@ -432,6 +432,7 @@ class Converter : public clang::RecursiveASTVisitor<Converter> {
 
   virtual bool
   VisitConceptSpecializationExpr(clang::ConceptSpecializationExpr *expr);
+  virtual bool VisitRequiresExpr(clang::RequiresExpr *expr);
 
   virtual bool VisitOffsetOfExpr(clang::OffsetOfExpr *expr);