Пункти обговорення:

• Ви можете реалізувати Add для &Point. У яких ситуаціях це може бути корисно?
  • Відповідь: Add:add споживає self. Якщо тип T, для якого ви перевантажуєте оператор, не є Copy, ви також повинні розглянути можливість перевантаження оператора &T. Це дозволяє уникнути непотрібного клонування на сайті виклику.
• Чому Output є асоційованим типом? Чи можна зробити це параметром типу методу?
  • Коротка відповідь: параметри типу функції контролюються тим, хто її викликає, а асоційовані типи (як Output) контролюються реалізатором трейту.
• Ви можете реалізувати Add для двох різних типів, напр. impl Add<(i32, i32)> for Point додасть кортеж до Point.

Трейт Not (оператор !) примітний тим, що він не “буліфікується”, як той самий оператор у мовах сімейства C; натомість, для цілих типів він заперечує кожен біт числа, що арифметично еквівалентно відніманню від -1: !5 == -6.