[gcc/devel/rust/master] Handle `async` functions in traits

[Thomas Schwinge via Gcc-cvs]

https://gcc.gnu.org/g:f54df95296a58cdba4c87968ef837264ccd203c9

commit f54df95296a58cdba4c87968ef837264ccd203c9
Author: Kushal Pal <kushalpal...@gmail.com>
Date:   Wed Jan 3 16:02:07 2024 +0530

    Handle `async` functions in traits
    
    Fixes #2785
    
    gcc/rust/ChangeLog:
    
            * checks/errors/rust-ast-validation.cc (ASTValidation::visit):
            Added check for `async` functions inside trait.
            * parse/rust-parse-impl.h (Parser::parse_trait_item):
            Added switch-case for ASYNC token.
    
    gcc/testsuite/ChangeLog:
    
            * rust/compile/issue-2785.rs: New test.
    
    Signed-off-by: Kushal Pal <kushalpal...@gmail.com>

Diff:
---
 gcc/rust/checks/errors/rust-ast-validation.cc | 13 ++++++++++---
 gcc/rust/parse/rust-parse-impl.h              |  1 +
 gcc/testsuite/rust/compile/issue-2785.rs      |  9 +++++++++
 3 files changed, 20 insertions(+), 3 deletions(-)

diff --git a/gcc/rust/checks/errors/rust-ast-validation.cc 
b/gcc/rust/checks/errors/rust-ast-validation.cc
index b50e9cdf8581..0ed5d0608943 100644
--- a/gcc/rust/checks/errors/rust-ast-validation.cc
+++ b/gcc/rust/checks/errors/rust-ast-validation.cc
@@ -141,9 +141,16 @@ ASTValidation::visit (AST::TraitFunctionDecl &decl)
 {
   const auto &qualifiers = decl.get_qualifiers ();
 
-  if (context.back () == Context::TRAIT && qualifiers.is_const ())
-    rust_error_at (decl.get_identifier ().get_locus (), ErrorCode::E0379,
-                  "functions in traits cannot be declared const");
+  if (context.back () == Context::TRAIT)
+    {
+      // may change soon
+      if (qualifiers.is_async ())
+       rust_error_at (decl.get_identifier ().get_locus (), ErrorCode::E0706,
+                      "functions in traits cannot be declared %<async%>");
+      if (qualifiers.is_const ())
+       rust_error_at (decl.get_identifier ().get_locus (), ErrorCode::E0379,
+                      "functions in traits cannot be declared const");
+    }
 }
 
 void
diff --git a/gcc/rust/parse/rust-parse-impl.h b/gcc/rust/parse/rust-parse-impl.h
index 872c1fae2a3b..54885221e18d 100644
--- a/gcc/rust/parse/rust-parse-impl.h
+++ b/gcc/rust/parse/rust-parse-impl.h
@@ -5096,6 +5096,7 @@ Parser<ManagedTokenSource>::parse_trait_item ()
       // else, fallthrough to function
       // TODO: find out how to disable gcc "implicit fallthrough" error
       gcc_fallthrough ();
+    case ASYNC:
     case UNSAFE:
     case EXTERN_KW:
       case FN_KW: {
diff --git a/gcc/testsuite/rust/compile/issue-2785.rs 
b/gcc/testsuite/rust/compile/issue-2785.rs
new file mode 100644
index 000000000000..08f6346f60b2
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-2785.rs
@@ -0,0 +1,9 @@
+// { dg-additional-options "-frust-edition=2018" }
+trait Foo {
+    async fn foo(){}
+    // { dg-error "functions in traits cannot be declared .async." "" { target 
*-*-* } .-1 }
+    async fn bar();
+    // { dg-error "functions in traits cannot be declared .async." "" { target 
*-*-* } .-1 }
+}
+
+fn main() {}