Santiago Pastorino 132409f0c6 Assemple trait alias candidates for negative polarity ... This doesn't work properly yet, we would probably need to implement an `assembly_neg_candidates` and consider things like `T: !AB` as `T: !A` || `T: !B`		2021-10-22 15:49:54 -03:00
..
traits	Assemple trait alias candidates for negative polarity	2021-10-22 15:49:54 -03:00
autoderef.rs	Improve help for recursion limit errors	2021-09-28 22:17:13 +02:00
infer.rs	Remove ToPredicate impls that use Binder::dummy	2021-09-15 20:54:50 -04:00
lib.rs	Refactor vtable format.	2021-07-20 22:14:42 +08:00
opaque_types.rs	More tracing instrumentation	2021-09-28 12:28:22 +00:00