Emil Lauridsen 8fad8e897a Resolve traits in infer using lang item infrastructure

2019-12-29 17:39:31 +01:00

..

infer

Coerce closures to fn pointers

2019-12-20 18:54:33 +01:00

tests

Resolve traits in infer using lang item infrastructure

2019-12-29 17:39:31 +01:00

traits

Filter out error predicates in type bounds as well

2019-12-23 00:08:03 +01:00

autoderef.rs

Clippy lints

2019-12-20 15:14:30 -05:00

db.rs

Update Chalk, clean up Chalk integration a bit

2019-12-23 00:08:03 +01:00

diagnostics.rs

Rename Source -> InFile

2019-11-28 12:50:26 +03:00

display.rs

Omit closure parameters

2019-12-23 18:30:25 +02:00

expr.rs

Use path macro

2019-12-13 22:33:38 +01:00

infer.rs

Resolve traits in infer using lang item infrastructure

2019-12-29 17:39:31 +01:00

lib.rs

Omit closure parameters

2019-12-23 18:30:25 +02:00

lower.rs

Support for nested ADT

2019-12-20 12:20:49 +01:00

marks.rs

Add test mark

2019-12-15 21:06:08 +01:00

method_resolution.rs

Move impls to ItemScope

2019-12-20 16:52:02 +01:00

op.rs

Move Ty

2019-11-27 21:16:00 +03:00

primitive.rs

Doc primitives

2019-11-26 15:41:48 +03:00

test_db.rs

Move impls to ItemScope

2019-12-20 16:52:02 +01:00

tests.rs

Don't add non-impl/trait containers to scope

2019-12-29 14:47:47 +01:00

traits.rs

Introduce our own Chalk TypeFamily, instead of using ChalkIr

2019-12-23 00:08:03 +01:00

utils.rs

Introduce ContainerId

2019-12-20 12:07:23 +01:00