17 Commits

Author	SHA1	Message	Date
Michael Goulet	822caa8b80	Avoid side-effects from try_coerce when suggesting borrowing LHS of cast	2023-08-19 22:12:51 +00:00
Michael Goulet	ab126c2a4e	Probe when assembling upcast candidates so they don't step on eachother's toes	2023-08-15 01:02:13 +00:00
Michael Goulet	238beae5e5	Fix upcasting with normalization in old solver, add a test	2023-08-03 18:21:11 +00:00
Michael Goulet	1bb6ae5874	Rework upcasting	2023-08-03 18:21:11 +00:00
Michael Goulet	752e6e13ad	Detect trait upcasting through struct tail unsizing	2023-07-29 06:40:36 +00:00
nxya	a54a66830d	moved note as unspanned note, moved note to the bottom of the msg	2023-07-18 21:53:34 -04:00
nxya	e6e8892051	added links as a note	2023-07-18 09:27:35 -04:00
nxya	f92a9f6808	add links to query documentation for E0391	2023-07-18 09:27:26 -04:00
nxya	bef91ee687	added links as a note	2023-07-18 09:20:25 -04:00
nxya	c429a72db9	add links to query documentation for E0391	2023-07-18 09:20:25 -04:00
Michael Goulet	a071044562	Eagerly resolve vars in predicate during coercion loop	2023-07-08 03:41:22 +00:00
Michael Goulet	14bf909e71	Note base types of coercion	2023-05-12 00:10:52 +00:00
Michael Goulet	7ec72efe10	Allow the elaborator to only filter to real supertraits	2023-04-11 17:45:42 +00:00
Michael Goulet	4560b61cd1	Broken tests	2023-04-11 17:45:42 +00:00
Michael Goulet	25c342f30a	Split implied and super predicate queries	2023-04-11 17:45:42 +00:00
Gary Guo	66f3ab90a1	Reintroduce multiple_supertrait_upcastable lint	2023-01-28 15:08:07 +00:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00