silence mismatched types errors for implied projections#121863

Merged

bors merged 6 commits intorust-lang:masterfrom

lukas-code:silence-mismatched-super-projections

Mar 7, 2024

Commits on Mar 4, 2024

add test for assoc type mismatch in supertrait
Lukas Markeffsky
committed
adjust obligation spans for super projections
Lukas Markeffsky
committed
rename `ast_*` to `hir_*` in wfcheck
Lukas Markeffsky
committed
suppress fulfillment errors for super projections
Lukas Markeffsky
committed
address review feedback
Lukas Markeffsky
committed

Commits on Mar 7, 2024

improve debug logging
Lukas Markeffsky
committed