ices/72845.rs: fixed with errors

[github-actions]

Issue: rust-lang/rust#72845

#![feature(generic_const_exprs)]
#![feature(specialization)]
#![allow(incomplete_features)]

//--------------------------------------------------

trait Depth {
    const C: usize;
}

trait Type {
    type AT: Depth;
}

//--------------------------------------------------

enum Predicate<const B: bool> {}

trait Satisfied {}

impl Satisfied for Predicate<true> {}

//--------------------------------------------------

trait Spec1 {}

impl<T: Type> Spec1 for T where Predicate<{T::AT::C > 0}>: Satisfied {}

trait Spec2: Spec1 {}

impl<T: Type + Spec1> Spec2 for T where Predicate<{T::AT::C > 1}>: Satisfied {}

//--------------------------------------------------

trait Foo {
    fn Bar();
}

impl<T: Spec1> Foo for T {
    default fn Bar() {}
}

impl<T: Spec2> Foo for T {
    fn Bar() {}
}

=== stdout ===
=== stderr ===
error[E0601]: `main` function not found in crate `72845`
  --> /home/runner/work/glacier/glacier/ices/72845.rs:1:1
   |
1  | / #![feature(generic_const_exprs)]
2  | | #![feature(specialization)]
3  | | #![allow(incomplete_features)]
4  | |
...  |
44 | |     fn Bar() {}
45 | | }
   | |_^ consider adding a `main` function to `/home/runner/work/glacier/glacier/ices/72845.rs`

error: aborting due to previous error

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

[matthiaskrgr]

If I add a main function as shown in the suggestion, it crashes again :/
rust-lang/rust#72845