]> git.lizzy.rs Git - rust.git/history - crates/hir_ty/src/db.rs
Merge #10877
[rust.git] / crates / hir_ty / src / db.rs
2021-12-05 bors[bot]Merge #10902
2021-11-16 bors[bot]Merge #10734
2021-11-10 bors[bot]Merge #10741
2021-11-10 Lukas Wirthinternal: Flatten `Definition::ModuleDef` variant
2021-11-10 bors[bot]Merge #10689
2021-11-10 bors[bot]Merge #10739
2021-11-10 bors[bot]Merge #10729
2021-11-09 zhoufanlookup impls in local del maps
2021-10-17 bors[bot]Merge #10417
2021-10-14 bors[bot]Merge #10434
2021-10-12 bors[bot]Merge #10423
2021-10-06 bors[bot]Merge #10420
2021-10-06 bors[bot]Merge #10459
2021-10-05 bors[bot]Merge #10447
2021-10-05 bors[bot]Merge #10458
2021-10-05 bors[bot]Merge #10440
2021-10-04 bors[bot]Merge #10456
2021-10-04 Jonas SchievinkAvoid cycle when lowering predicates for associated...
2021-06-16 bors[bot]Merge #9258
2021-06-14 bors[bot]Merge #8951
2021-06-14 bors[bot]Merge #9260
2021-06-13 bors[bot]Merge #9249
2021-06-13 bors[bot]Merge #9248
2021-06-13 bors[bot]Merge #9247
2021-06-13 bors[bot]Merge #9246
2021-06-13 bors[bot]Merge #9245
2021-06-13 bors[bot]Merge #9244
2021-06-13 Florian DieboldMake block-local trait impls work
2021-05-22 bors[bot]Merge #8901
2021-05-21 bors[bot]Merge #8856
2021-05-21 Florian DieboldRework obligation handling
2021-05-21 Florian DieboldRemove our unification code, use Chalk's instead
2021-05-05 bors[bot]Merge #8674
2021-05-03 bors[bot]Merge #8482
2021-05-03 bors[bot]Merge #8427
2021-05-02 bors[bot]Merge #8693
2021-04-30 bors[bot]Merge #8692
2021-04-29 Florian DieboldHandle cycles in generic_defaults more gracefully
2021-04-23 bors[bot]Merge #8317
2021-04-19 bors[bot]Merge #8524 #8527
2021-04-19 bors[bot]Merge #8467
2021-04-18 bors[bot]Merge #8560
2021-04-15 bors[bot]Merge #8510 #8533
2021-04-14 bors[bot]Merge #8515
2021-04-14 Kirill BulatovProfile trait solving for all invocations
2021-04-13 bors[bot]Merge #8432
2021-04-13 bors[bot]Merge #8354
2021-04-13 bors[bot]Merge #8415
2021-04-10 bors[bot]Merge #8436
2021-04-10 bors[bot]Merge #8410
2021-04-09 bors[bot]Merge #8450
2021-04-09 bors[bot]Merge #8443 #8446
2021-04-09 bors[bot]Merge #8445
2021-04-09 Florian DieboldMore cleanups / module docs
2021-04-09 Florian DieboldMove ToChalk -> mapping
2021-04-09 Florian DieboldReorganize hir_ty modules
2021-04-08 bors[bot]Merge #8207
2021-04-06 bors[bot]Merge #8375
2021-04-06 bors[bot]Merge #8364
2021-04-06 bors[bot]Merge #8355
2021-04-06 bors[bot]Merge #8366
2021-04-06 Lukas WirthAdd chalk_ir::Const to TyKind::Array
2021-04-05 bors[bot]Merge #8353
2021-04-05 bors[bot]Merge #8352
2021-04-05 Lukas WirthReplace unused hir_ty::Lifetime with chalk equivalents
2021-04-05 bors[bot]Merge #8245
2021-04-05 bors[bot]Merge #8326
2021-04-04 bors[bot]Merge #8328
2021-04-04 Florian DieboldMove things from `traits` module to `types` as well
2021-03-24 bors[bot]Merge #7907
2021-03-24 cynecxhir_def: move visibility queries from hir_ty to hir_def
2021-03-23 bors[bot]Merge #8142
2021-03-22 bors[bot]Merge #8141
2021-03-22 bors[bot]Merge #8054
2021-03-22 bors[bot]Merge #8144
2021-03-22 bors[bot]Merge #8136 #8146
2021-03-21 Florian DieboldUse QuantifiedWhereClause in generic_predicates as...
2021-03-20 cynecxhir_ty: add field_visibilities and fn_visibility queries
2021-03-20 bors[bot]Merge #8119
2021-03-20 bors[bot]Merge #8117
2021-03-20 Florian DieboldTurn Obligation into something similar to chalk_ir...
2021-03-20 bors[bot]Merge #8115
2021-03-20 Florian DieboldRename GenericPredicate -> WhereClause
2021-03-16 bors[bot]Merge #7900 #8000
2021-03-15 bors[bot]Merge #7970
2021-03-15 bors[bot]Merge #8021 #8022
2021-03-15 bors[bot]Merge #7966
2021-03-14 bors[bot]Merge #7993
2021-03-14 bors[bot]Merge #8010
2021-03-13 bors[bot]Merge #8002
2021-03-13 Florian DieboldCreate TraitEnvironment through a query
2021-03-13 bors[bot]Merge #8001
2021-03-13 Florian DieboldUse chalk_ir::OpaqueTyId
2021-03-13 Florian DieboldUse chalk_ir::PlaceholderIndex
2021-03-13 Florian DieboldUse chalk_ir::ClosureId
2021-03-13 bors[bot]Merge #7998
2021-03-13 Florian DieboldUse chalk_ir::FnDefId
2021-03-13 bors[bot]Merge #7799
2021-03-09 bors[bot]Merge #6822
2021-03-06 bors[bot]Merge #7865
next