tests/crashes/127643.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//@ known-bug: #127643

#![feature(generic_const_items, associated_const_equality)]
#![expect(incomplete_features)]

trait Foo {
    const ASSOC<const N: u32>: u32;
}

impl Foo for () {
    const ASSOC<const N: u32>: u32 = N;
}

fn bar<const N: u64, T: Foo<ASSOC<N> = { N }>>() {}

fn main() {
    bar::<10_u64, ()>();
}