error[E0271]: type mismatch resolving `<() as Foo>::ASSOC<_> == 10`
  --> $DIR/equality_bound_with_infer.rs:18:14
   |
LL |     bar::<_, ()>();
   |              ^^ expected `10`, found `<() as Foo>::ASSOC::<_>`
   |
   = note: expected constant `10`
              found constant `<() as Foo>::ASSOC::<_>`
note: required by a bound in `bar`
  --> $DIR/equality_bound_with_infer.rs:15:29
   |
LL | fn bar<const N: u32, T: Foo<ASSOC<N> = 10>>() {}
   |                             ^^^^^^^^^^^^^ required by this bound in `bar`

error: aborting due to 1 previous error

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