Worked on the scala/scala3 repository to enhance the stability and correctness of the Scala 3 type system, particularly in path-dependent contexts involving higher-kinded types. Addressed a crash that occurred when processing path-dependent context functions by introducing a new method for type-parameter reference checks and refining the handling of implicit term references. Added targeted regression tests to ensure ongoing reliability and prevent similar issues from recurring. This work improved the robustness of advanced type-level constructs in Scala, focusing on functional programming principles and type theory. The changes reduced the risk of runtime crashes and contributed to a more reliable codebase.