Rust's Type Checker Implementation Is Unsound: An Empirical Study

(arxiv.org)

3 points | by pykello 4 hours ago ago