ices/74634.rs: fixed with errors

[github-actions]

Issue: rust-lang/rust#74634

#![feature(const_generics)]
#![allow(incomplete_features)]

trait If<const COND: bool> {}
impl If<true> for () {}

trait IsZero<const N: u8> {
    type Answer;
}

struct True;
struct False;

impl<const N: u8> IsZero<N> for ()
where
    (): If<{ N == 0 }>,
{
    type Answer = True;
}

trait Foobar<const N: u8> {}

impl<const N: u8> Foobar<N> for () where (): IsZero<N, Answer = True> {}

impl<const N: u8> Foobar<N> for () where (): IsZero<N, Answer = False> {}

fn main() {}

=== stdout ===
=== stderr ===
error: constant expression depends on a generic parameter
  --> /home/runner/work/glacier/glacier/ices/74634.rs:16:9
   |
16 |     (): If<{ N == 0 }>,
   |         ^^^^^^^^^^^^^^
   |
   = note: this may fail depending on what value the parameter takes

error: aborting due to previous error

==============