]> git.lizzy.rs Git - rust.git/history - crates/hir_ty/src/traits.rs
More cleanups / module docs
[rust.git] / crates / hir_ty / src / traits.rs
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 #8421
2021-04-08 bors[bot]Merge #8419 #8423
2021-04-08 bors[bot]Merge #8422
2021-04-08 Florian DieboldRemove unused
2021-04-08 Florian DieboldRemove identity impls for ToChalk
2021-04-08 Florian DieboldFix missing match arms
2021-04-08 Florian DieboldMake ToChalk implementations identity
2021-04-08 bors[bot]Merge #8207
2021-04-07 bors[bot]Merge #8409
2021-04-07 Florian DieboldMove hir_trait_id to extension trait
2021-04-07 bors[bot]Merge #8394
2021-04-06 bors[bot]Merge #8382
2021-04-06 bors[bot]Merge #8387
2021-04-06 Florian DieboldRemove `SolutionVariables`, add ConstrainedSubst analog...
2021-04-05 bors[bot]Merge #8352
2021-04-05 bors[bot]Merge #8350
2021-04-05 bors[bot]Merge #8347
2021-04-05 bors[bot]Merge #8344
2021-04-05 Laurențiu NicolaPass interner to ProjectionTy::self_type_parameter
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-04-04 bors[bot]Merge #8295
2021-04-03 bors[bot]Merge #8310
2021-04-03 Florian DieboldRename Ty::interned to Ty::kind
2021-04-03 bors[bot]Merge #8309
2021-04-03 Florian DieboldIntroduce `GenericArg` like in Chalk
2021-03-24 bors[bot]Merge #7907
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 #8139
2021-03-21 Florian DieboldAlign InEnvironment with Chalk
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 #8116
2021-03-20 Florian DieboldRemove WhereClause::Error
2021-03-20 bors[bot]Merge #8115
2021-03-20 Florian DieboldRename GenericPredicate -> WhereClause
2021-03-19 bors[bot]Merge #8097
2021-03-19 bors[bot]Merge #8101
2021-03-19 Lukas WirthReplace Projection variant in GenericPredicate with...
2021-03-18 bors[bot]Merge #8095
2021-03-18 bors[bot]Merge #8096
2021-03-18 Florian DieboldChalkify TraitRef
2021-03-17 bors[bot]Merge #8059
2021-03-17 bors[bot]Merge #8048
2021-03-16 bors[bot]Merge #8042
2021-03-16 bors[bot]Merge #8041
2021-03-16 Florian DieboldRename Substs -> Substitution
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 #8014
2021-03-14 bors[bot]Merge #8016
2021-03-14 Florian DieboldRename some fields to their Chalk names
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 #7996
2021-03-13 Florian DieboldSeparate `Ty` and `TyKind` like in Chalk
2021-03-13 bors[bot]Merge #7799
2021-03-13 bors[bot]Merge #7981
2021-03-13 bors[bot]Merge #7984
2021-03-13 bors[bot]Merge #7994
2021-03-12 bors[bot]Merge #7985
2021-03-12 Florian DieboldUse Chalk Environment more directly
2021-03-02 bors[bot]Merge #7335 #7691
2021-03-02 bors[bot]Merge #7513
2021-03-02 bors[bot]Merge #7777
2021-03-02 bors[bot]Merge #7827
2021-03-01 bors[bot]Merge #7778
2021-03-01 bors[bot]Merge #7826
2021-03-01 Lukas WirthIntroduce Ty::Alias
2020-12-07 bors[bot]Merge #6719
2020-12-07 bors[bot]Merge #6743
2020-12-07 bors[bot]Merge #6731
2020-12-07 bors[bot]Merge #6597
2020-12-07 Florian DieboldUpgrade Chalk
2020-10-26 bors[bot]Merge #6257
2020-10-26 bors[bot]Merge #6333
2020-10-24 bors[bot]Merge #6331 #6342
2020-10-23 bors[bot]Merge #6251 #6310
2020-10-23 bors[bot]Merge #6339
2020-10-23 bors[bot]Merge #6336
2020-10-23 Florian DieboldImprove Chalk debugging
2020-08-24 Zac Pullar-StreckerMerge remote-tracking branch 'upstream/master' into...
2020-08-19 bors[bot]Merge #5643
2020-08-18 DmitryMerge remote-tracking branch 'rust-analyzer/master'
2020-08-18 bors[bot]Merge #5682
2020-08-18 bors[bot]Merge #5687
2020-08-18 bors[bot]Merge #5758
next