Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation
SugBreaker is presented, an automated testing framework specifically designed to validate rustc's suggestions that injects type-related, borrow-related, and lifetime-related errors into valid Rust programs to trigger compiler diagnostics and iteratively verify the correctness of suggested fixes.