[gccrs COMMIT] testsuite:Add a testcase for setup_associated_types

[gerris.rs@gmail.com]

From: Harishankar <harishankarpp7@gmail.com>

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

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

Signed-off-by: Harishankar <harishankarpp7@gmail.com>
---
This change was merged into the gccrs repository and is posted here for
upstream visibility and potential drive-by review, as requested by GCC
release managers.
Each commit email contains a link to its details on github from where you can
find the Pull-Request and associated discussions.


Commit on github: https://github.com/Rust-GCC/gccrs/commit/5d80c76a57265bc7183af4a6040104fdca371702

The commit has been mentioned in the following pull-request(s):
 - https://github.com/Rust-GCC/gccrs/pull/4485

 gcc/testsuite/rust/compile/issue-3931.rs | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 gcc/testsuite/rust/compile/issue-3931.rs

diff --git a/gcc/testsuite/rust/compile/issue-3931.rs b/gcc/testsuite/rust/compile/issue-3931.rs
new file mode 100644
index 000000000..27d535c1b
--- /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

base-commit: 49e06bfda45f38543e4a5834b273f0c4d657a3d5
-- 
2.53.0