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_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