reads more like a Wishlist rather than actual implementable specs.

every spec is implementable

some just delegate more or less to the implementation

	▲	nextaccountic 3 hours ago \| parent [-]
		that said, the borrowing part is incredibly short on details i read trying to assess if it's more or less expressible than rust's current nll or the future polonius and honestly there's nothing there