Compiler error when using a const generic alias in an associated type bound in a super trait

This codes fails to compile:

trait Iter {
    type Item;
}

trait TryIter: Iter<Item = Self::ResItem> {
    type ResItem;
}

const N: usize = 4;

trait Dyn: TryIter<ResItem = [u8; N]> {}

with this error:

error[E0284]: type annotations needed
  --> src/main.rs:12:1
   |
12 | trait Dyn: TryIter<ResItem = [u8; N]> {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type
   |
   = note: cannot satisfy `<Self as main::TryIter>::ResItem == _`

error[E0284]: type annotations needed
  --> src/main.rs:12:12
   |
12 | trait Dyn: TryIter<ResItem = [u8; N]> {}
   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type
   |
   = note: cannot satisfy `<Self as main::TryIter>::ResItem == _`

For more information about this error, try `rustc --explain E0284`.

However, replacing N with 4 in the last line compiles fine.

Meta

This is on rustc 1.91.1 (ed61e7d7e 2025-11-07)

The reproducer is the Rust snippet in the issue body; compile it with rustc 1.91.1, then compare [u8; N] with [u8; 4] while tracing associated-type and const-generic inference. Done means the const-generic form compiles like the literal form and the behavior is covered by a regression test.