rustコンパイラの静的解析の能力は最強なんだよね