error: overflow evaluating associated type `T::This`
  --> $DIR/normalization-overflow.rs:9:17
   |
LL |     type This = Self::This;
   |                 ^^^^^^^^^^

error: aborting due to previous error