gccrs: Add test case to show bug is fixed

Fixes Rust-GCC#4481

gcc/testsuite/ChangeLog:

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

Signed-off-by: Philip Herron <herron.philip@googlemail.com>

diff --git a/gcc/testsuite/rust/compile/issue-4481.rs b/gcc/testsuite/rust/compile/issue-4481.rs
new file mode 100644 (file)
index 0000000..32477d8
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-4481.rs
@@ -0,0 +1,25 @@
+#![feature(no_core, intrinsics, staged_api, lang_items)]
+#![no_core]
+
+#[lang = "sized"]
+pub trait Sized {}
+
+trait Trait<T: NewTrait> {}
+
+fn foo<T>()
+where
+    T: Trait<for<'b> fn(&'b u32)>, // { dg-error {bounds not satisfied for abi:rust fnptr .& u32 ,. -> .. .NewTrait. is not satisfied \[E0277\]} }
+{
+}
+
+impl<'a> Trait<fn(&'a u32)> for () {} // { dg-error {bounds not satisfied for abi:rust fnptr .& u32 ,. -> .. .NewTrait. is not satisfied \[E0277\]} }
+
+fn main() {
+    foo::<()>();
+}
+
+trait NewTrait {
+    type Assoc;
+    const C: Self::Assoc;
+    fn f(&self) -> Self::Assoc;
+}