Cycle detected when const-evaluating

[c410-f3r]

Only happens with const_generics.

Couldn't find anything related. Feel free to close this issue if it is duplicated.

#![feature(const_generics)]

fn foo<F>(bar: &mut [u8; 8], mut cb: F)
where
    F: FnMut(&mut [u8; 8]),
{
    cb(bar);
}

error[E0391]: cycle detected when const-evaluating + checking `foo::{{constant}}#0`
 --> src/lib.rs:5:24
  |
5 |     F: FnMut(&mut [u8; 8]),
  |                        ^
  |
note: ...which requires const-evaluating + checking `foo::{{constant}}#0`...
 --> src/lib.rs:5:24
  |
5 |     F: FnMut(&mut [u8; 8]),
  |                        ^
note: ...which requires const-evaluating `foo::{{constant}}#0`...
 --> src/lib.rs:5:24
  |
5 |     F: FnMut(&mut [u8; 8]),
  |                        ^
note: ...which requires processing `foo::{{constant}}#0`...
 --> src/lib.rs:5:24
  |
5 |     F: FnMut(&mut [u8; 8]),
  |                        ^
note: ...which requires processing `foo::{{constant}}#0`...
 --> src/lib.rs:5:24
  |
5 |     F: FnMut(&mut [u8; 8]),
  |                        ^
  = note: ...which again requires const-evaluating + checking `foo::{{constant}}#0`, completing the cycle
note: cycle used when processing `foo`
 --> src/lib.rs:3:1
  |
3 | / fn foo<F>(bar: &mut [u8; 8], mut cb: F)
4 | | where
5 | |     F: FnMut(&mut [u8; 8]),
6 | | {
7 | |     cb(bar);
8 | | }
  | |_^

[jonas-schievink]

Duplicate of #67185 (comment)