Можно ли применить "L aws", указанный в документации по признакам Rust?

Question

Документация по некоторым признакам Rust включает раздел "L aws", например, документация для num::traits::identities::One включает следующее:

Определяет мультипликативный элемент тождественности для себя.

L aws

a * 1 = a       ∀ a ∈ Self

1 * a = a       ∀ a ∈ Self

Включает ли Rust какой-либо механизм для обеспечения соблюдения этих правил?

Answer 1

Нет никакого способа принудительно установить такой тип "l aws" в Rust. Тем не менее