Sure, A is at fault, but it only broke when B changed behavior. | Hacker News

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

		toast0 4 days ago \| parent \| context \| favorite \| on: What Zig felt like, coming from Rust Sure, A is at fault, but it only broke when B changed behavior.
		help

aw1621107 3 days ago [–]

Fair. I suppose that even in such a scenario you shouldn't need truly global analysis to prove safety - in principle an analysis of A should reveal the soundness precondition on a safe API - though that's probably easier said than done.

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