Merge #1316

1316: Add const generic declaration to AST r=CohenArthur a=CohenArthur

This uses a number of hacks and workarounds to avoid implementing the equivalent HIR node in the same PR. I'll raise issues for each of the `FIXME`s in the code. Needs one commit from #1315 to avoid unecessary conflicts.

Co-authored-by: Arthur Cohen <arthur.cohen@embecosm.com>

3 files changed, 12 insertions, 0 deletions

diff --git a/gcc/rust/resolve/rust-ast-resolve-base.cc b/gcc/rust/resolve/rust-ast-resolve-base.cc
index 2a86618..cdc1a66 100644
--- a/gcc/rust/resolve/rust-ast-resolve-base.cc
+++ b/gcc/rust/resolve/rust-ast-resolve-base.cc
@@ -67,6 +67,10 @@ ResolverBase::visit (AST::LifetimeParam &)
 {}
 
 void
+ResolverBase::visit (AST::ConstGenericParam &)
+{}
+
+void
 ResolverBase::visit (AST::PathInExpression &)
 {}
 
diff --git a/gcc/rust/resolve/rust-ast-resolve-base.h b/gcc/rust/resolve/rust-ast-resolve-base.h
index 17d05c3..4a22a9d 100644
--- a/gcc/rust/resolve/rust-ast-resolve-base.h
+++ b/gcc/rust/resolve/rust-ast-resolve-base.h
@@ -38,6 +38,7 @@ public:
   void visit (AST::IdentifierExpr &);
   void visit (AST::Lifetime &);
   void visit (AST::LifetimeParam &);
+  void visit (AST::ConstGenericParam &);
   void visit (AST::PathInExpression &);
   void visit (AST::TypePathSegment &);
   void visit (AST::TypePathSegmentGeneric &);
diff --git a/gcc/rust/resolve/rust-ast-resolve-type.h b/gcc/rust/resolve/rust-ast-resolve-type.h
index cc117ec..46f1540 100644
--- a/gcc/rust/resolve/rust-ast-resolve-type.h
+++ b/gcc/rust/resolve/rust-ast-resolve-type.h
@@ -341,6 +341,13 @@ public:
     ok = true;
   }
 
+  void visit (AST::ConstGenericParam &) override
+  {
+    // For now do not do anything and accept everything.
+    // FIXME: This needs to change soon!
+    ok = true;
+  }
+
   void visit (AST::TypeParam &param) override
   {
     ok = true;