Jonas Schievink c2622c9228 Prefer names from outer DefMap over extern prelude

2021-03-10 16:33:18 +01:00

..

diagnostics

Use body.block_scopes to validate inner items

2021-03-09 18:27:23 +01:00

infer

Stop using ContainerId in AssocContainerId

2021-03-09 18:27:23 +01:00

tests

Check ancestor maps when computing traits in scope

2021-03-09 18:27:23 +01:00

traits

Delete ContainerId

2021-03-09 19:09:02 +01:00

autoderef.rs

Introduce Ty::Alias

2021-03-01 14:24:00 +01:00

db.rs

Make two calls virtual

2021-03-05 20:25:24 +02:00

diagnostics.rs

Prefer names from outer DefMap over extern prelude

2021-03-10 16:33:18 +01:00

display.rs

Delete ContainerId

2021-03-09 19:09:02 +01:00

infer.rs

Use chalk_ir::Mutability

2021-03-01 19:57:36 +01:00

lib.rs

Use chalk_ir::AdtId

2021-03-04 19:38:02 +01:00

lower.rs

Delete ContainerId

2021-03-09 19:09:02 +01:00

method_resolution.rs

Delete ContainerId

2021-03-09 19:09:02 +01:00

op.rs

Being Ty::InferenceVar closes to chalk equivalent

2021-03-01 12:41:29 +01:00

primitive.rs

…

test_db.rs

…

tests.rs

Use body.block_scopes in hir_ty tests

2021-03-09 18:27:23 +01:00

traits.rs

Introduce Ty::Alias

2021-03-01 14:24:00 +01:00

utils.rs

Stop using ContainerId in AssocContainerId

2021-03-09 18:27:23 +01:00