2 Commits

Author	SHA1	Message	Date
Ali MJ Al-Nasrawy	aac2f84794	wf-check type annotations before normalization	2024-01-16 09:25:28 +01:00
Ali MJ Al-Nasrawy	8d4693c0f8	borrowck: use implied bounds from impl header	2024-01-16 09:25:28 +01:00