error[E0277]: the trait bound `N<T>: ~const Bar` is not satisfied
  --> $DIR/item-bound-entailment-fails.rs:17:21
   |
LL |     type Assoc<T> = N<T>
   |                     ^^^^
   |
note: required by a bound in `Foo::Assoc`
  --> $DIR/item-bound-entailment-fails.rs:5:20
   |
LL |     type Assoc<T>: ~const Bar
   |                    ^^^^^^ required by this bound in `Foo::Assoc`

error[E0277]: the trait bound `T: ~const Bar` is not satisfied
  --> $DIR/item-bound-entailment-fails.rs:24:21
   |
LL |     type Assoc<T> = C<T>
   |                     ^^^^
   |
note: required by a bound in `Foo::Assoc`
  --> $DIR/item-bound-entailment-fails.rs:5:20
   |
LL |     type Assoc<T>: ~const Bar
   |                    ^^^^^^ required by this bound in `Foo::Assoc`

error: aborting due to 2 previous errors

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