With linear types *alone* you don't have any aliasing. Borrowing is a controlled...

		Rusky on Dec 26, 2023 \| parent \| context \| favorite \| on: Interview about Austral, a systems programming lan... With linear types alone you don't have any aliasing. Borrowing is a controlled way to recover some aliasing while retaining the benefits of linearity.