4 commits

Author	SHA1	Message	Date
lcnr	24a1729566	eagerly instantiate binders to avoid relying on sub	2024-03-14 17:19:40 +01:00
Ali MJ Al-Nasrawy	9f7d0e91b5	use Vec for region constraints	2023-12-17 07:31:07 +00:00
Nilstrieb	41e8d152dc	Show number in error message even for one error ... Co-authored-by: Adrian <adrian.iosdev@gmail.com>	2023-11-24 19:15:52 +01:00
Jack Huey	35dd0c9049	Try to use approximate placeholder regions when outputting an AscribeUserType error in borrowck	2023-09-24 02:10:30 -04:00