ices/62879.rs: fixed with errors

[github-actions]

Issue: rust-lang/rust#62879

#![feature(const_generics)]
trait Foo {}

impl<const N: usize> Foo for [(); N]
where
    Self:FooImpl<{N==0}>
{}

trait FooImpl<const IS_ZERO: bool>{}

fn main() {}

=== stdout ===
=== stderr ===
warning: the feature `const_generics` is incomplete and may cause the compiler to crash
 --> /home/runner/work/glacier/glacier/ices/62879.rs:1:12
  |
1 | #![feature(const_generics)]
  |            ^^^^^^^^^^^^^^
  |
  = note: `#[warn(incomplete_features)]` on by default

error[E0391]: cycle detected when const-evaluating + checking `<impl at /home/runner/work/glacier/glacier/ices/62879.rs:4:1: 7:3>::{{constant}}#0`
 --> /home/runner/work/glacier/glacier/ices/62879.rs:6:18
  |
6 |     Self:FooImpl<{N==0}>
  |                  ^^^^^^
  |
note: ...which requires const-evaluating + checking `<impl at /home/runner/work/glacier/glacier/ices/62879.rs:4:1: 7:3>::{{constant}}#0`...
 --> /home/runner/work/glacier/glacier/ices/62879.rs:6:18
  |
6 |     Self:FooImpl<{N==0}>
  |                  ^^^^^^
note: ...which requires const-evaluating `<impl at /home/runner/work/glacier/glacier/ices/62879.rs:4:1: 7:3>::{{constant}}#0`...
 --> /home/runner/work/glacier/glacier/ices/62879.rs:6:18
  |
6 |     Self:FooImpl<{N==0}>
  |                  ^^^^^^
note: ...which requires processing `<impl at /home/runner/work/glacier/glacier/ices/62879.rs:4:1: 7:3>::{{constant}}#0`...
 --> /home/runner/work/glacier/glacier/ices/62879.rs:6:18
  |
6 |     Self:FooImpl<{N==0}>
  |                  ^^^^^^
note: ...which requires processing `<impl at /home/runner/work/glacier/glacier/ices/62879.rs:4:1: 7:3>::{{constant}}#0`...
 --> /home/runner/work/glacier/glacier/ices/62879.rs:6:18
  |
6 |     Self:FooImpl<{N==0}>
  |                  ^^^^^^
  = note: ...which again requires const-evaluating + checking `<impl at /home/runner/work/glacier/glacier/ices/62879.rs:4:1: 7:3>::{{constant}}#0`, completing the cycle
note: cycle used when processing `<impl at /home/runner/work/glacier/glacier/ices/62879.rs:4:1: 7:3>`
 --> /home/runner/work/glacier/glacier/ices/62879.rs:4:1
  |
4 | / impl<const N: usize> Foo for [(); N]
5 | | where
6 | |     Self:FooImpl<{N==0}>
7 | | {}
  | |__^

error: aborting due to previous error

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