Worked on the rust-lang/gcc repository to optimize Ada string handling by addressing performance overhead caused by ghost predicates in the Ada.Strings.Superbounded assertion policy. Introduced the Ghost_Predicate => Ignore option within pragma Assertion_Policy, ensuring that ghost predicates are excluded from runtime execution and thus improving runtime predictability. Focused on Ada programming and compiler development, the work involved validating performance gains and regression safety in the Ada frontend with minimal code changes. Documented the update thoroughly, aligned the patch with project performance goals, and prepared it for review and merging, demonstrating a methodical approach to compiler optimization and runtime efficiency.