error[E0275]: overflow evaluating the requirement `S<{ U }> well-formed`
  --> $DIR/adt_wf_hang.rs:11:5
   |
LL |     S<{ U }>:;
   |     ^^^^^^^^
   |
note: required by a bound in `S`
  --> $DIR/adt_wf_hang.rs:11:5
   |
LL | struct S<const N: U>()
   |        - required by a bound in this struct
LL | where
LL |     S<{ U }>:;
   |     ^^^^^^^^ required by this bound in `S`

error: aborting due to 1 previous error

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