そもそも契約プログラミングって実装継承やりまくりながらどうやって安全性を保つかって話でしょ
Rustではそもそも追跡できない実装継承自体がない