Crashes tests

Author: BoxyUwU

tests/crashes/127643.rs

@@ -1,18 +1,18 @@
 //@ known-bug: #127643
 
-#![feature(associated_const_equality)]
+#![feature(generic_const_items, associated_const_equality)]
+#![expect(incomplete_features)]
 
-fn user() -> impl Owner<dyn Sized, C = 0> {}
-
-trait Owner<K> {
-    const C: K;
-}
-impl<K: ConstDefault> Owner<K> for () {
-    const C: K = K::DEFAULT;
+trait Foo {
+    const ASSOC<const N: u32>: u32;
 }
 
-trait ConstDefault {
-    const DEFAULT: Self;
+impl Foo for () {
+    const ASSOC<const N: u32>: u32 = N;
 }
 
-fn main() {}
+fn bar<const N: u64, T: Foo<ASSOC<N> = { N }>>() {}
+
+fn main() {
+    bar::<10_u64, ()>();
+}