Struct Box<T>(T); Такое определение говорит: "Для любых T есть структура с

полем 0 типа T".
trait X: Y {}
Такое определение говорит: "Определение пустого типажа X. Для любых T, если T: X, то T: Y".
Обрати внимание, что нигде не говорится, какие именно Type из всех T поддерживают X. Только говорят о возможности вызывать методы трейта Y (статически или динамически) при наличии impl X for Type. Т.е. если не будет impl-блоков для типажа X, то никто им не сможет воспользоваться.
impl X for char {}
Такой блок проверит, исходя из определения, есть Y на char или нет, и, если его нет, выдаст ошибку компиляции.
impl<T> X for T where T: Y {}
Такой импл говорит: "X определён для всех T, таких, что T: Y". Он согласуется определением X выше и проверяется для каждого конкретного типа при попытке использования.

Тогда спрашивается, в чём отличие между X и Y? А оно встречается, но не там, где ожидалось бы: dyn X и dyn Y – разные типы. Они именно что типы и несовместимы друг с другом. Но на практике это не так важно, потому что в основном X будет применяться для сокращения числа баундов, и, как правило, статически.

В найтли пекут фичу под названием trait aliases, которые как type aliases будут, т.е. минус бойлерплейт второй строчки даст и совместимость между полной/краткой записью.

Просто отпишусь, что оно действительно работает (а то я тебя дернул ответом лишний раз)