Rollup merge of #156600 - cijiugechu:false-negative-test, r=BoxyUwU

Make const param default test reproduce original ICE

As discussed in [comment](https://github.com/rust-lang/rust/pull/156325#discussion_r3247360505).

ICE using old logic:
[old-logic-ice.txt](https://github.com/user-attachments/files/27797628/old-logic-ice.txt)

r? BoxyUwU

tests/ui/traits/associated_type_bound/generic-const-args-default.rs

@@ -3,7 +3,7 @@
 
 #![feature(min_generic_const_args)]
 
-trait Bar<const N: bool = false> {}
+trait Bar<const N: usize = const { 1 + 1 }> {}
 
 trait Foo {
     type AssocB: Bar;