Add tests for #[no_mangle] in impl blocks that looks like generic impl blocks but are actually not

Author: hyd-dev

src/test/ui/generics/generic-no-mangle.fixed

@@ -89,6 +89,11 @@ impl<T> Bar<T> {
     pub fn baz<U>() {} //~ ERROR functions generic over types or consts must be mangled
 }
 
+impl Bar<i32> {
+    #[no_mangle]
+    pub fn qux() {}
+}
+
 trait Trait3 {
     fn foo();
     extern "C" fn bar();
@@ -121,6 +126,14 @@ trait Trait4 {
     fn bar<'a>(x: &'a i32) -> &i32;
 }
 
+impl Trait4 for Bar<i32> {
+    #[no_mangle]
+    fn foo() {}
+
+    #[no_mangle]
+    fn bar<'b>(x: &'b i32) -> &i32 { x }
+}
+
 impl<'a> Trait4 for Baz<'a> {
     #[no_mangle]
     fn foo() {}
@@ -129,4 +142,18 @@ impl<'a> Trait4 for Baz<'a> {
     fn bar<'b>(x: &'b i32) -> &i32 { x }
 }
 
+trait Trait5<T> {
+    fn foo();
+}
+
+impl Trait5<i32> for Foo {
+    #[no_mangle]
+    fn foo() {}
+}
+
+impl Trait5<i32> for Bar<i32> {
+    #[no_mangle]
+    fn foo() {}
+}
+
 fn main() {}

src/test/ui/generics/generic-no-mangle.rs

@@ -89,6 +89,11 @@ impl<T> Bar<T> {
     pub fn baz<U>() {} //~ ERROR functions generic over types or consts must be mangled
 }
 
+impl Bar<i32> {
+    #[no_mangle]
+    pub fn qux() {}
+}
+
 trait Trait3 {
     fn foo();
     extern "C" fn bar();
@@ -121,6 +126,14 @@ trait Trait4 {
     fn bar<'a>(x: &'a i32) -> &i32;
 }
 
+impl Trait4 for Bar<i32> {
+    #[no_mangle]
+    fn foo() {}
+
+    #[no_mangle]
+    fn bar<'b>(x: &'b i32) -> &i32 { x }
+}
+
 impl<'a> Trait4 for Baz<'a> {
     #[no_mangle]
     fn foo() {}
@@ -129,4 +142,18 @@ impl<'a> Trait4 for Baz<'a> {
     fn bar<'b>(x: &'b i32) -> &i32 { x }
 }
 
+trait Trait5<T> {
+    fn foo();
+}
+
+impl Trait5<i32> for Foo {
+    #[no_mangle]
+    fn foo() {}
+}
+
+impl Trait5<i32> for Bar<i32> {
+    #[no_mangle]
+    fn foo() {}
+}
+
 fn main() {}

src/test/ui/generics/generic-no-mangle.stderr

@@ -117,23 +117,23 @@ LL |     pub fn baz<U>() {}
    |     ^^^^^^^^^^^^^^^^^^
 
 error: functions generic over types or consts must be mangled
-  --> $DIR/generic-no-mangle.rs:100:5
+  --> $DIR/generic-no-mangle.rs:105:5
    |
 LL |     #[no_mangle]
    |     ------------ help: remove this attribute
 LL |     fn foo() {}
    |     ^^^^^^^^^^^
 
 error: functions generic over types or consts must be mangled
-  --> $DIR/generic-no-mangle.rs:103:5
+  --> $DIR/generic-no-mangle.rs:108:5
    |
 LL |     #[no_mangle]
    |     ------------ help: remove this attribute
 LL |     extern "C" fn bar() {}
    |     ^^^^^^^^^^^^^^^^^^^^^^
 
 error: functions generic over types or consts must be mangled
-  --> $DIR/generic-no-mangle.rs:106:5
+  --> $DIR/generic-no-mangle.rs:111:5
    |
 LL |     #[no_mangle]
    |     ------------ help: remove this attribute