June 2026: Focused on strengthening type safety for P4 header literals in p4c by introducing type inference for untyped {#} literals in header contexts. This feature converts untyped Invalid expressions into typed InvalidHeader or InvalidHeaderUnion, improving compile-time safety and error handling during header assignments and comparisons. Implemented in p4lang/p4c with commit db316bd50becd80f39f6421015451b0e350231cc (Fix #5653), signed-off by Sanketjadhav31. Key outcomes: - Delivered feature: P4: Type inference for untyped header literals, enabling automatic typing and safer header operations. - Improved diagnostics and robustness in header type checks, reducing the likelihood of silent type errors during compilation. - Reduced downstream debugging time by surfacing type issues earlier in the compile pipeline. - Laid groundwork for broader type inference in header contexts, contributing to long-term reliability and developer productivity.