|
diagnostics
|
Use chalk_ir::AdtId
|
2021-03-04 19:38:02 +01:00 |
|
infer
|
Use chalk_ir::AdtId
|
2021-03-04 19:38:02 +01: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 chalk_ir::AdtId
|
2021-03-04 19:38:02 +01:00 |
|
method_resolution.rs
|
Use chalk_ir::AdtId
|
2021-03-04 19:38:02 +01: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
|
Create all ModuleIds through a DefMap method
|
2021-01-25 15:21:33 +01:00 |
|
tests.rs
|
Make ModuleId's krate field private
|
2021-01-22 18:09:55 +01:00 |
|
traits.rs
|
Introduce Ty::Alias
|
2021-03-01 14:24:00 +01:00 |
|
utils.rs
|
Higher-ranked trait bounds for where clauses
|
2020-12-17 22:01:42 +01:00 |
