suggestion to add bound that already exists when using `generic_const_exprs`

Code

use super::vertex::Vertex;

pub struct Simplex<const N: usize> 
where 
    [(); N - 1]:
{
    pub vertices: [Vertex<N>; N]
}

impl<const N: usize> Simplex<N> 
where 
    [(); N - 1]:
{
    fn child_simplicies(&self) -> [Simplex<{N - 1}>; N - 1] 
    where 
        [(); N - 1]:
    {
        todo!()
    }
}

Current output

error: unconstrained generic constant
  --> src\mesh\simplex.rs:14:35
   |
14 |     fn child_simplicies(&self) -> [Simplex<{N - 1}>; N - 1]
   |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
   |
note: required by a bound in `Simplex`
  --> src\mesh\simplex.rs:5:10
   |
 3 | pub struct Simplex<const N: usize>
   |            ------- required by a bound in this struct
 4 | where
 5 |     [(); N - 1]:
   |          ^^^^^ required by this bound in `Simplex`
help: try adding a `where` bound
   |
16 |         [(); N - 1]:, [(); N - 1]:
   |                     ++++++++++++++

Desired output

Rationale and extra context

No response

Other cases

Rust Version

rustc 1.95.0-nightly (57d2fb136 2026-02-01)
binary: rustc
commit-hash: 57d2fb136650d05efb3ed3ea33b330bfc85844d5
commit-date: 2026-02-01
host: x86_64-pc-windows-msvc
release: 1.95.0-nightly
LLVM version: 22.1.0

Anything else?

No response

Reproduce the diagnostic from the Rust snippet with the reported nightly compiler and inspect the compiler's generic-const-expression bound checking and diagnostic entry points. Determine why the existing [(); N - 1]: bound is not recognized for the return type, then verify that the redundant-bound suggestion is no longer emitted.