Florian Diebold 58b68966bf Handle resolution errors in where clauses ... This is slightly hacky, but maybe more elegant than alternative solutions: We just use a hardcoded Chalk trait ID which we special-case to have no impls.		2019-05-11 16:21:20 +02:00
..
infer	Handle recursive types in canonicalization	2019-05-04 18:25:36 +02:00
traits	Handle resolution errors in where clauses	2019-05-11 16:21:20 +02:00
autoderef.rs	replace usages of algo::generate with iter::successors from std	2019-04-13 16:43:49 +02:00
display.rs	Replace Display by a pretty printing trait for Ty	2019-03-16 16:36:59 +01:00
infer.rs	Turn implements into a query again	2019-05-07 13:45:29 +02:00
lower.rs	Handle where clauses in trait solving	2019-05-11 16:21:20 +02:00
method_resolution.rs	Turn implements into a query again	2019-05-07 13:45:29 +02:00
op.rs	Rename name field to ctor as well	2019-03-21 22:29:12 +01:00
primitive.rs	Refactor primitive types into more orthogonal representation	2019-03-22 10:09:35 +01:00
tests.rs	Handle resolution errors in where clauses	2019-05-11 16:21:20 +02:00
traits.rs	Deduplicate impls in impls_for_trait	2019-05-07 13:45:29 +02:00