When two tools disagree whether a crate compiles or not