[COMMITTED 02/12] gccrs: adds tests from issue 4140

[arthur.cohen@embecosm.com]

From: "lenny.chiadmi-delage" <lenny.chiadmi-delage@epita.fr>

Adds tests for testsuite.

Fixes Rust-GCC#4140

gcc/testsuite/ChangeLog:

	* rust/compile/issue-4140-1.rs: New test.
	* rust/compile/issue-4140-2.rs: Likewise.

Signed-off-by: lenny.chiadmi-delage <lenny.chiadmi-delage@epita.fr>
---
 gcc/testsuite/rust/compile/issue-4140-1.rs | 18 ++++++++++++++++++
 gcc/testsuite/rust/compile/issue-4140-2.rs | 11 +++++++++++
 2 files changed, 29 insertions(+)
 create mode 100644 gcc/testsuite/rust/compile/issue-4140-1.rs
 create mode 100644 gcc/testsuite/rust/compile/issue-4140-2.rs

diff --git a/gcc/testsuite/rust/compile/issue-4140-1.rs b/gcc/testsuite/rust/compile/issue-4140-1.rs
new file mode 100644
index 00000000000..48aa98bc318
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-4140-1.rs
@@ -0,0 +1,18 @@
+pub enum TypeCtor {
+    Slice,
+    Array,
+}
+pub struct B<T>(T);
+
+macro_rules! ty_app {
+    ($_a:pat) => {
+        ApplicationTy($ctor) // { dg-error "unexpected token '$' in typle struct items" "4140" { target *-*-* } . }
+        // { dg-error "failed to parse typle struct items" "4140" { target *-*-*} .-1 }
+    };
+}
+
+pub fn foo(ty: ApplicationTy) { // { dg-error "could not resolve type path 'ApplicationTy'" "4140" { target *-*-* } .-1 }
+    match ty {
+        ty_app!(bean::Array) => {}
+    }
+}
diff --git a/gcc/testsuite/rust/compile/issue-4140-2.rs b/gcc/testsuite/rust/compile/issue-4140-2.rs
new file mode 100644
index 00000000000..507cf2aba38
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-4140-2.rs
@@ -0,0 +1,11 @@
+macro_rules! ty_app {
+    ($_a:pat) => {
+        ($ctor) // { dg-error "unrecognised token '$' in grouped or tuple pattern after first pattern" "4140" { target *-*-* } . }
+    };
+}
+
+pub fn foo() {
+    match ty { // { dg-error "Cannot find path 'ty' in this scope" "4140" { target *-*-* } .-1 }
+        ty_app!(bean::Array) => {}
+    }
+}
-- 
2.50.1