rust-analyzer/crates/hir_ty/src
2021-03-21 13:33:06 +01:00
..
diagnostics Fix infinite recursion when computing diagnostics for inner items 2021-03-18 20:15:06 +01:00
infer Turn Obligation into something similar to chalk_ir::DomainGoal 2021-03-20 12:47:12 +01:00
tests Test for a Salsa bug 2021-03-21 13:33:06 +01:00
traits Turn Obligation into something similar to chalk_ir::DomainGoal 2021-03-20 12:47:12 +01:00
autoderef.rs Turn Obligation into something similar to chalk_ir::DomainGoal 2021-03-20 12:47:12 +01:00
chalk_cast.rs Turn Obligation into something similar to chalk_ir::DomainGoal 2021-03-20 12:47:12 +01:00
db.rs Turn Obligation into something similar to chalk_ir::DomainGoal 2021-03-20 12:47:12 +01:00
diagnostics.rs Prefer names from outer DefMap over extern prelude 2021-03-10 16:33:18 +01:00
display.rs Turn Obligation into something similar to chalk_ir::DomainGoal 2021-03-20 12:47:12 +01:00
infer.rs Turn Obligation into something similar to chalk_ir::DomainGoal 2021-03-20 12:47:12 +01:00
lib.rs Test for a Salsa bug 2021-03-21 13:33:06 +01:00
lower.rs Remove WhereClause::Error 2021-03-20 10:51:00 +01:00
method_resolution.rs Turn Obligation into something similar to chalk_ir::DomainGoal 2021-03-20 12:47:12 +01:00
op.rs Separate Ty and TyKind like in Chalk 2021-03-13 16:17:15 +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 Test for a Salsa bug 2021-03-21 13:33:06 +01:00
traits.rs Turn Obligation into something similar to chalk_ir::DomainGoal 2021-03-20 12:47:12 +01:00
utils.rs Rename GenericPredicate -> WhereClause 2021-03-20 10:46:36 +01:00