Worked on expanding Rust’s type-system expressiveness by implementing syntax support for type constants across both the rust-lang/rust compiler and the rust-lang/rust-analyzer static analysis tool. Developed and integrated a parser for the new type const syntax, enabling declarations like type const FOO: i32 = 2, and ensured consistent handling of these constructs in both compilation and IDE analysis workflows. This cross-repository effort involved aligning abstract syntax tree changes and validation logic, improving reliability and feature parity. Leveraged expertise in Rust, compiler design, and syntax analysis to deliver two features that enhance type safety and developer productivity without introducing new bugs.