Added mGCA tests that were resolved

Author: reddevilmidzy

tests/ui/const-generics/mgca/assoc-const-projection-in-bound.rs

@@ -0,0 +1,27 @@
+//! regression test for <https://github.com/rust-lang/rust/issues/141014>
+//@ run-pass
+#![expect(incomplete_features)]
+#![feature(min_generic_const_args)]
+#![allow(dead_code)]
+
+trait Abc {}
+
+trait A {
+    #[type_const]
+    const VALUE: usize;
+}
+
+impl<T: Abc> A for T {
+    #[type_const]
+    const VALUE: usize = 0;
+}
+
+trait S<const K: usize> {}
+
+trait Handler<T: Abc>
+where
+    (): S<{ <T as A>::VALUE }>,
+{
+}
+
+fn main() {}

tests/ui/const-generics/mgca/cast-with-type-mismatched.rs

@@ -0,0 +1,14 @@
+//! regression test for <https://github.com/rust-lang/rust/issues/143506>
+#![expect(incomplete_features)]
+#![feature(generic_const_exprs)]
+#![feature(min_generic_const_args)]
+
+fn foo<const N: u32>(a: [(); N as usize]) {}
+//~^ ERROR: complex const arguments must be placed inside of a `const` block
+
+const C: f32 = 1.0;
+
+fn main() {
+    foo::<C>([]);
+    //~^ ERROR: the constant `C` is not of type `u32`
+}

tests/ui/const-generics/mgca/cast-with-type-mismatched.stderr

@@ -0,0 +1,20 @@
+error: complex const arguments must be placed inside of a `const` block
+  --> $DIR/cast-with-type-mismatched.rs:6:30
+   |
+LL | fn foo<const N: u32>(a: [(); N as usize]) {}
+   |                              ^^^^^^^^^^
+
+error: the constant `C` is not of type `u32`
+  --> $DIR/cast-with-type-mismatched.rs:12:11
+   |
+LL |     foo::<C>([]);
+   |           ^ expected `u32`, found `f32`
+   |
+note: required by a const generic parameter in `foo`
+  --> $DIR/cast-with-type-mismatched.rs:6:8
+   |
+LL | fn foo<const N: u32>(a: [(); N as usize]) {}
+   |        ^^^^^^^^^^^^ required by this const generic parameter in `foo`
+
+error: aborting due to 2 previous errors
+

tests/ui/const-generics/mgca/const-eval-with-invalid-args.rs

@@ -0,0 +1,26 @@
+//! regression test for <https://github.com/rust-lang/rust/issues/139259>
+#![expect(incomplete_features)]
+#![feature(generic_const_exprs)]
+#![feature(min_generic_const_args)]
+
+// The previous ICE was an "invalid field access on immediate".
+// If we remove `val: i32` from the field, another ICE occurs.
+// "assertion `left == right` failed: invalid field type in
+// Immediate::offset: scalar value has wrong size"
+struct A {
+    arr: usize,
+    val: i32,
+}
+
+struct B<const N: A> {
+    //~^ ERROR: `A` is forbidden as the type of a const generic parameter
+    arr: [u8; N.arr],
+    //~^ ERROR: complex const arguments must be placed inside of a `const` block
+}
+
+const C: u32 = 1;
+fn main() {
+    let b = B::<C> {arr: [1]};
+    //~^ ERROR: the constant `C` is not of type `A`
+    let _ = b.arr.len();
+}

tests/ui/const-generics/mgca/const-eval-with-invalid-args.stderr

@@ -0,0 +1,32 @@
+error: complex const arguments must be placed inside of a `const` block
+  --> $DIR/const-eval-with-invalid-args.rs:17:15
+   |
+LL |     arr: [u8; N.arr],
+   |               ^^^^^
+
+error: `A` is forbidden as the type of a const generic parameter
+  --> $DIR/const-eval-with-invalid-args.rs:15:19
+   |
+LL | struct B<const N: A> {
+   |                   ^
+   |
+   = note: the only supported types are integers, `bool`, and `char`
+help: add `#![feature(adt_const_params)]` to the crate attributes to enable more complex and user defined types
+   |
+LL + #![feature(adt_const_params)]
+   |
+
+error: the constant `C` is not of type `A`
+  --> $DIR/const-eval-with-invalid-args.rs:23:17
+   |
+LL |     let b = B::<C> {arr: [1]};
+   |                 ^ expected `A`, found `u32`
+   |
+note: required by a const generic parameter in `B`
+  --> $DIR/const-eval-with-invalid-args.rs:15:10
+   |
+LL | struct B<const N: A> {
+   |          ^^^^^^^^^^ required by this const generic parameter in `B`
+
+error: aborting due to 3 previous errors
+

tests/ui/const-generics/mgca/recursive-self-referencing-const-param.rs

@@ -0,0 +1,11 @@
+//! regression test for <https://github.com/rust-lang/rust/issues/143358>
+#![expect(incomplete_features)]
+#![feature(generic_const_exprs)]
+#![feature(min_generic_const_args)]
+
+fn identity<const T: identity<{ identity::<{ identity::<{}> }>() }>>();
+//~^ ERROR: free function without a body
+//~| ERROR: expected type, found function `identity`
+//~| ERROR: complex const arguments must be placed inside of a `const` block
+
+fn main() {}

tests/ui/const-generics/mgca/recursive-self-referencing-const-param.stderr

@@ -0,0 +1,23 @@
+error: free function without a body
+  --> $DIR/recursive-self-referencing-const-param.rs:6:1
+   |
+LL | fn identity<const T: identity<{ identity::<{ identity::<{}> }>() }>>();
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-
+   |                                                                       |
+   |                                                                       help: provide a definition for the function: `{ <body> }`
+
+error[E0573]: expected type, found function `identity`
+  --> $DIR/recursive-self-referencing-const-param.rs:6:22
+   |
+LL | fn identity<const T: identity<{ identity::<{ identity::<{}> }>() }>>();
+   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not a type
+
+error: complex const arguments must be placed inside of a `const` block
+  --> $DIR/recursive-self-referencing-const-param.rs:6:57
+   |
+LL | fn identity<const T: identity<{ identity::<{ identity::<{}> }>() }>>();
+   |                                                         ^^
+
+error: aborting due to 3 previous errors
+
+For more information about this error, try `rustc --explain E0573`.

tests/ui/const-generics/mgca/size-of-generic-ptr-in-array-len.rs

@@ -0,0 +1,10 @@
+//! regression test for <https://github.com/rust-lang/rust/issues/147415>
+#![expect(incomplete_features)]
+#![feature(min_generic_const_args)]
+
+fn foo<T>() {
+    [0; size_of::<*mut T>()];
+    //~^ ERROR: tuple constructor with invalid base path
+}
+
+fn main() {}

tests/ui/const-generics/mgca/size-of-generic-ptr-in-array-len.stderr

@@ -0,0 +1,8 @@
+error: tuple constructor with invalid base path
+  --> $DIR/size-of-generic-ptr-in-array-len.rs:6:9
+   |
+LL |     [0; size_of::<*mut T>()];
+   |         ^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to 1 previous error
+