feat: Complete diagnostics in ty lowering groundwork and serve a first diagnostic 🎉#18541

Merged

Veykril merged 3 commits intorust-lang:masterfrom

ChayimFriedman2:different-generic-args

Dec 4, 2024

Commits on Dec 4, 2024

Store some hir_def Paths in the type ref source maps
ChayimFriedman2
committed
Lay the foundation for diagnostics in ty lowering, and implement a first diagnostic
ChayimFriedman2
committed
Complete diagnostics in ty lowering groundwork
ChayimFriedman2
committed