I think your quantifier of “any other language” is the issue. There are certainly languages with far more powerful type systems than Rust, such as Coq or Lean.

After all his tryhard Sherlock Holmes escapades, I can absolutely see Data putting on the corniest Ebenezer Scrooge the Federation has ever seen.

In universe? Inaros. I don’t know if Kai Winn’s crimes ever gets the same widespread attention.

But in every other way Kai Winn is the worst. Fuck Kai Winn. All my homies hate Kai Winn.