ices/72819.rs: fixed with errors

[github-actions]

Issue: rust-lang/rust#72819

#![feature(const_generics)]
#![allow(incomplete_features)]
struct Arr<const N: usize>
where Assert::<{N < usize::max_value() / 2}>: IsTrue,
{
}

enum Assert<const CHECK: bool> {}

trait IsTrue {}

impl IsTrue for Assert<true> {}

fn main() {
    let x: Arr<{usize::max_value()}> = Arr {};
}

=== stdout ===
=== stderr ===
error: constant expression depends on a generic parameter
 --> /home/runner/work/glacier/glacier/ices/72819.rs:4:47
  |
4 | where Assert::<{N < usize::max_value() / 2}>: IsTrue,
  |                                               ^^^^^^
  |
  = note: this may fail depending on what value the parameter takes

error: aborting due to previous error

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

[JohnTitor]

Left a comment on the issue as fixed.