Rust の型システムの使い難さは静的検査の厳格さとのトレードオフ「ではない」という評価も有る。
つまりシンプルに出来が悪い (部分が多い) と考えられている。
それでもなお C++ とかより大幅にマシではあるんだが、これからもっと良い言語が生まれる余地はありそう。