gccrs: testsuite:Add a testcase for setup_associated_types

Fixes Rust-GCC/gccrs#3931
gcc/testsuite/ChangeLog:

	* rust/compile/issue-3931.rs: New test.

Signed-off-by: Harishankar <harishankarpp7@gmail.com>

diff --git a/gcc/testsuite/rust/compile/issue-3931.rs b/gcc/testsuite/rust/compile/issue-3931.rs
new file mode 100644 (file)
index 0000000..27d535c
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3931.rs
@@ -0,0 +1,16 @@
+#![feature(no_core)]
+#![no_core]
+
+trait Foo {
+    fn foo();
+}
+
+impl Foo for [(); 1] { // { dg-error "missing foo in implementation of trait .Foo. " }
+    fn main() {        // { dg-error "method .main. is not a member of trait .Foo." }
+        <[(); 0] as Foo>::foo() 
+    }
+}
+
+fn main() {
+    <[(); 0] as Foo>::foo() 
+}
\ No newline at end of file