Description
Rust's Traits resemble capabilities more than existential qualities of a type.
Take for example the descriptions of the Send and Sync traits. Where it might benefit a programmer from a background in other OOP languages which treat Abstract Classes or Interfaces as existential qualifications (attempting to verify that they implement an interface or extend a class is usually a question within such a language which can potentially be null), Rust does not, I find, treat Traits as existential qualifiers, but more as capabilities, and thus names these as the imperative or infinitive tense forms of verbs, such as Copy, Drop, or in this case Send or Sync (aka Synchronise).
As such, references to is (not) or can(not) be should be replaced with can (not) or is/are (not) able to in their respective cases:
Almost all primitive types are Send
(From Allowing Transference of Ownership Between Threads with Send)
should be
Almost all primitive types can Send
This change in syntax, in my opinion, captures this qualitative difference in the way Rust's polymorphism is exercised.