const expression produces infinite compilation

I tried this code:

#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
trait Foo<const N: usize> {
    type Assoc: Default;
}
impl Foo<0> for () {
    type Assoc = u32;
}
impl Foo<3> for () {
    type Assoc = i64;
}
fn foo<T, const N: usize>(_: T) -> <() as Foo<{ N + 1 }>>::Assoc
where
    (): Foo<{ N + 1 }>,
{
    let random_var2 = "example"; // New variable declaration
    let mut _q = Default::default();
    _q = foo::<_, 2>(_q);
    _q
}
fn main() {
    let random_var = 42; // New variable declaration
    Default::default()
}

I expected to see this happen: compilation terminates

Instead, this happened: unterminated

Meta

rustc --version --verbose:

rustc 1.80.0-nightly (debd22da6 2024-05-29)
binary: rustc
commit-hash: debd22da66cfa97c74040ebf68e420672ac8560e
commit-date: 2024-05-29
host: x86_64-unknown-linux-gnu
release: 1.80.0-nightly
LLVM version: 18.1.6

<backtrace>

Start by reproducing the supplied example with the reported rustc 1.80.0-nightly version and the generic_const_exprs feature enabled. Investigate the const-generic trait bounds and recursive call shown in the example; done means compilation terminates instead of remaining unterminated.