Rustは契約プログラミングをサポートしていない