None - I should have been more accurate and said uniqueness typing. Technically, linear types do not require uniqueness: https://en.wikipedia.org/wiki/Uniquenes

None - I should have been more accurate and said uniqueness typing. Technically, linear types do not require uniqueness: https://en.wikipedia.org/wiki/Uniqueness_type#Relationship_to_linear_typing https://en.wikipedia.org/wiki/Uniqueness_type#Relationship_t... Uniqueness guarantees that a value has no other references to it, while linearity guarantees that no more references can be made to a value