10 Commits

Author	SHA1	Message	Date
Michael Goulet	0f7ef1a202	Adjust inner span of implicit self ref argument	2023-06-28 17:51:01 +00:00
Matthew Jasper	f46eabb9e5	Report nicer lifetime errors for specialization ... Add an obligation cause for these error so that the error points to the implementations that caused the error.	2023-05-05 22:19:56 +01:00
Matthew Jasper	fafe9e71d5	Normalize consistently for specializations	2023-05-05 16:19:18 +01:00
Matthew Jasper	bd928a0b5e	Disallow (min) specialization imps with no items ... Such implementations are usually mistakes and are not used in the compiler or standard library (after this commit) so forbid them with `min_specialization`.	2023-05-05 16:19:18 +01:00
Michael Goulet	6c6bd01421	Note type mismatch on ConstArgHasType	2023-03-23 19:09:34 +00:00
Michael Goulet	9174edbae9	Delay overlap errors if errors are involved	2023-03-19 03:45:47 +00:00
Michael Goulet	322c7b6269	Constrain const vars to error if const types are mismatched	2023-03-19 03:45:47 +00:00
Michael Goulet	9574f39c2d	Use param's real type in try_eval_lit_or_param	2023-03-09 20:49:11 +00:00
Michael Goulet	d76e168f01	Point at HIR types when impl trait ref doesn't normalize	2023-01-12 20:44:47 +00:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00