7 commits

Author	SHA1	Message	Date
Laurențiu Nicola	5b05209744	Exclude methods from non-parameter types introduced by generic constraints	2020-02-19 10:46:13 +02:00
Florian Diebold	f47dc4de8d	Check that impl self type matches up with expected self type in path mode ... Fixes #3144.	2020-02-14 21:08:25 +01:00
Florian Diebold	ed25cf70d5	Change Ty::Param to contain param ID	2020-02-07 18:28:10 +01:00
Florian Diebold	4a8279a21a	Fix another test	2020-02-07 18:28:10 +01:00
Florian Diebold	4789a993eb	Fix printing of function types	2020-02-07 18:28:10 +01:00
Florian Diebold	4053fcfca0	Introduce our own Chalk TypeFamily, instead of using ChalkIr ... It's not very different, except we can directly use Salsa IDs instead of casting them. This means we need to refactor the handling of errors to get rid of UNKNOWN_TRAIT though.	2019-12-23 00:08:03 +01:00
Florian Diebold	9747156f6c	Split up ty tests a bit	2019-12-03 18:00:29 +01:00