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

3 points | by pykello 14 hours ago