4 commits

Author	SHA1	Message	Date
lcnr	24a1729566	eagerly instantiate binders to avoid relying on sub	2024-03-14 17:19:40 +01:00
Michael Goulet	b97ff8eb16	Add print_trait_sugared	2023-12-05 17:15:46 +00:00
Alex Macleod	5453a9f34d	Add a note to duplicate diagnostics	2023-10-05 01:04:41 +00:00
Rémy Rakic	f3a1bae88c	add test for issue 114907	2023-08-30 14:10:52 +00:00