Rustが契約プログラミングをサポートしていない為に起きた悲劇