ices/72845.rs: fixed with no 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() {}
}

fn main() {}

=== stdout ===
=== stderr ===
warning: trait method `Bar` should have a snake case name
  --> /home/runner/work/glacier/glacier/ices/72845.rs:36:8
   |
36 |     fn Bar();
   |        ^^^ help: convert the identifier to snake case: `bar`
   |
   = note: `#[warn(non_snake_case)]` on by default

warning: 1 warning emitted

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