Developed a boolean type safety autosuggestion feature for the sorbet/sorbet repository, focusing on improving static analysis and type checking in Ruby codebases. The work introduced an isBoolean helper to reliably identify boolean types during type analysis and desugaring, ensuring that case statements involving T::Boolean prompt autosuggestions for true and false values. This approach reduced common pattern errors and strengthened type safety, enhancing developer productivity and confidence. Test automation was updated by migrating test formats to *.autocorrects.exp and expanding coverage to reflect the new behavior, aligning with Sorbet’s conventions and supporting robust, maintainable static analysis workflows.