Worked on the google/error-prone repository to enhance the accuracy of Varifier’s variable-declaration suggestions, focusing on builder-pattern scenarios in Java. Addressed a critical bug where Varifier could incorrectly suggest the use of 'var' in cases where the builder’s factory type did not match the variable type, which previously led to type-inference errors. Improved the static analysis logic and implemented targeted tests to validate the corrected behavior, ensuring more reliable guidance for developers. This work strengthened code quality and developer experience by reducing false positives in static analysis, leveraging skills in Java development and static analysis to improve overall code health.