Laurențiu Nicola fc9eed4836 Use upstream cov-mark

2021-03-08 22:19:44 +02:00

..

diagnostics

Use upstream cov-mark

2021-03-08 22:19:44 +02:00

infer

Use upstream cov-mark

2021-03-08 22:19:44 +02:00

tests

Use upstream cov-mark

2021-03-08 22:19:44 +02:00

traits

Use chalk_ir::AdtId

2021-03-04 19:38: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

Add test

2021-02-20 12:43:52 +02:00

display.rs

Use chalk_ir::AdtId

2021-03-04 19:38: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

Use upstream cov-mark

2021-03-08 22:19:44 +02:00

method_resolution.rs

Use upstream cov-mark

2021-03-08 22:19:44 +02:00

op.rs

Being Ty::InferenceVar closes to chalk equivalent

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

primitive.rs

Use chalk_ir::Scalar directly

2021-02-28 11:06:37 +01:00

test_db.rs

…

tests.rs

…

traits.rs

Introduce Ty::Alias

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

utils.rs

…