bors[bot] bebc5c7166 Merge #1271 ...

1271: make AstId untyped r=matklad a=matklad



Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

2019-05-13 21:04:04 +00:00

..

infer

Handle recursive types in canonicalization

2019-05-04 18:25:36 +02:00

traits

Blacklist some traits from being considered in where clauses

2019-05-12 20:23:57 +02:00

autoderef.rs

replace usages of algo::generate with iter::successors from std

2019-04-13 16:43:49 +02:00

display.rs

…

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

Use traits from prelude for method resolution

2019-05-12 20:25:26 +02:00

op.rs

…

primitive.rs

Refactor primitive types into more orthogonal representation

2019-03-22 10:09:35 +01:00

tests.rs

make AstId untyped

2019-05-13 19:39:06 +03:00

traits.rs

Increase Chalk solver max_size back to 4

2019-05-13 22:20:39 +02:00