I cannot imagine how that would work. You couldn't combine code that expect diff... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		speed_spread 5 months ago \| parent \| context \| favorite \| on: Tree Borrows I cannot imagine how that would work. You couldn't combine code that expect different borrowing rules to be applied. You'd effectively be creating as many sub-dialects as there are borrow checker implementations.

vlovich123 5 months ago [–]

FWIW technically the rules are the same. How they go about proving that the rules are upheld for a program is what would be different.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact