実装の問題は重要だろ。
そもそも実装と独立に仕様だけ語れるような作りにrustはなってない。