5 commits

Author	SHA1	Message	Date
Florian Diebold	91853590a9	Add test mark	2019-12-15 21:06:08 +01:00
Florian Diebold	6e1c2d0df8	Handle impl Trait more correctly ... When calling a function, argument-position impl Trait is transparent; same for return-position impl Trait when inside the function. So in these cases, we need to represent that type not by `Ty::Opaque`, but by a type variable that can be unified with whatever flows into there.	2019-12-15 18:56:38 +01:00
Florian Diebold	ac961b2614	Add test for unifying impl Trait	2019-12-15 17:45:32 +01:00
Emil Lauridsen	7705209051	Correctly infer - and ! using std::ops::{Neg,Not}	2019-12-13 12:45:38 +01:00
Florian Diebold	9747156f6c	Split up ty tests a bit	2019-12-03 18:00:29 +01:00