4 ms·
I don’t understand how a usage pattern where some variable (representing a semantic object) is said to have an affine type but it can be used more than once. Ca
by throwaway17_17 6y ago
I don’t understand how a usage pattern where some variable (representing a semantic object) is said to have an affine type but it can be used more than once. Can you explain how such a type is not just a regular non-substructural type?
- necubi 6y agoSorry, that wasn't very clear. `&mut self` in the first method ("use") is an example of a non-affine type, `self` in the "consume" method is an affine type which cannot be re-used.