Update tests after fixing ICEs

tests/crashes/129209.rs

@@ -1,11 +0,0 @@
-//@ known-bug: rust-lang/rust#129209
-
-impl<
-        const N: usize = {
-            static || {
-                Foo([0; X]);
-            }
-        },
-    > PartialEq for True
-{
-}

tests/crashes/131295.rs

@@ -1,9 +0,0 @@
-//@ known-bug: #131295
-
-#![feature(generic_const_exprs)]
-
-async fn foo<'a>() -> [(); {
-       let _y: &'a ();
-       4
-   }] {
-}

tests/crashes/139738.rs

@@ -1,3 +0,0 @@
-//@ known-bug: #139738
-#![feature(generic_const_exprs)]
-fn b<'a>() -> impl IntoIterator<[(); (|_: &'a u8| 0, 0).1]> {}

tests/ui/const-generics/parent_generics_of_nested_in_default.rs

@@ -0,0 +1,6 @@
+impl<const A: i32 = { || [0; B] }> Tr {}
+//~^ ERROR cannot find type `Tr`
+//~| ERROR cannot find value `B`
+//~| ERROR defaults for generic parameters are not allowed here
+
+fn main() {}

tests/ui/const-generics/parent_generics_of_nested_in_default.stderr

@@ -0,0 +1,24 @@
+error[E0412]: cannot find type `Tr` in this scope
+  --> $DIR/parent_generics_of_nested_in_default.rs:1:36
+   |
+LL | impl<const A: i32 = { || [0; B] }> Tr {}
+   |                                    ^^ not found in this scope
+
+error[E0425]: cannot find value `B` in this scope
+  --> $DIR/parent_generics_of_nested_in_default.rs:1:30
+   |
+LL | impl<const A: i32 = { || [0; B] }> Tr {}
+   |            -                 ^ help: a const parameter with a similar name exists: `A`
+   |            |
+   |            similarly named const parameter `A` defined here
+
+error: defaults for generic parameters are not allowed here
+  --> $DIR/parent_generics_of_nested_in_default.rs:1:6
+   |
+LL | impl<const A: i32 = { || [0; B] }> Tr {}
+   |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to 3 previous errors
+
+Some errors have detailed explanations: E0412, E0425.
+For more information about an error, try `rustc --explain E0412`.