История изменений
Исправление red75prim, (текущая версия) :
Вводить синонимы в where clauses нельзя. Сейчас занимаются автоматическим выводом ограничений на типы, чтобы не повторять уже написанное в определении структур и трейтов.
Но в этом случае, похоже, не поможет. Насколько я понимаю, там сделано так, чтобы можно было конфигурировать всё, поэтому приходится конфигурировать всё, потому что (пока?) нет возможности задать ограничения на типы по-умолчанию, с возможностью переопределить их, когда понадобится.
Исходная версия red75prim, :
Вводить синонимы в where clauses нельзя. Сейчас занимаются автоматическим выводом ограничений на типы, чтобы не повторять уже написанное в определении структур и трейтов.
Но в этом случае, похоже не поможет. Насколько я понимаю, там сделано так, чтобы можно было конфигурировать всё, поэтому приходится конфигурировать всё, потому что (пока?) нет возможности задать ограничения на типы по-умолчанию, с возможностью переопределить их, когда понадобится.