Commit Graph

4 Commits

Author SHA1 Message Date
Lukas Markeffsky
6bd970d585 address review feedback 2024-03-04 21:06:52 +01:00
Lukas Markeffsky
aa55f6daa2 suppress fulfillment errors for super projections 2024-03-04 21:06:52 +01:00
Lukas Markeffsky
189e7843e8 adjust obligation spans for super projections 2024-03-04 21:06:52 +01:00
Lukas Markeffsky
6fa58be8f4 add test for assoc type mismatch in supertrait 2024-03-04 21:06:52 +01:00