git.lizzy.rs Git - rust.git/history - crates/hir

]> git.lizzy.rs Git - rust.git/history - crates/hir_ty/src/traits/chalk.rs

[rust.git] / crates / hir_ty / src / traits / chalk.rs

2021-04-05	Florian Diebold	Use VariableKinds in Binders	blob \| commitdiff \| raw
2021-04-05	Florian Diebold	Hide Binders internals more	blob \| commitdiff \| raw \| diff to current
2021-04-05	bors[bot]	Merge #8343	blob \| commitdiff \| raw \| diff to current
2021-04-05	bors[bot]	Merge #8342	blob \| commitdiff \| raw \| diff to current
2021-04-05	Laurențiu Nicola	Rename TyKind::Unknown to Error	blob \| commitdiff \| raw \| diff to current
2021-04-05	bors[bot]	Merge #8245	blob \| commitdiff \| raw \| diff to current
2021-04-05	bors[bot]	Merge #8326	blob \| commitdiff \| raw \| diff to current
2021-04-04	bors[bot]	Merge #8325	blob \| commitdiff \| raw \| diff to current
2021-04-04	bors[bot]	Merge #8295	blob \| commitdiff \| raw \| diff to current
2021-04-04	bors[bot]	Merge #8327	blob \| commitdiff \| raw \| diff to current
2021-04-04	Florian Diebold	Replace Substitution::bound_vars and ::type_params_for_...	blob \| commitdiff \| raw \| diff to current
2021-04-04	Florian Diebold	Add TyBuilder::unit() and TyExt::is_unit()	blob \| commitdiff \| raw \| diff to current
2021-04-03	bors[bot]	Merge #8310	blob \| commitdiff \| raw \| diff to current
2021-04-03	Florian Diebold	Rename Ty::interned to Ty::kind	blob \| commitdiff \| raw \| diff to current
2021-04-03	bors[bot]	Merge #8309	blob \| commitdiff \| raw \| diff to current
2021-04-03	Florian Diebold	Introduce `GenericArg` like in Chalk	blob \| commitdiff \| raw \| diff to current
2021-03-24	bors[bot]	Merge #7907	blob \| commitdiff \| raw \| diff to current
2021-03-24	bors[bot]	Merge #8190	blob \| commitdiff \| raw \| diff to current
2021-03-24	Florian Diebold	Fix chalk_ir assertion	blob \| commitdiff \| raw \| diff to current
2021-03-23	bors[bot]	Merge #8142	blob \| commitdiff \| raw \| diff to current
2021-03-22	bors[bot]	Merge #8141	blob \| commitdiff \| raw \| diff to current
2021-03-22	bors[bot]	Merge #8054	blob \| commitdiff \| raw \| diff to current
2021-03-22	bors[bot]	Merge #8144	blob \| commitdiff \| raw \| diff to current
2021-03-22	bors[bot]	Merge #8136 #8146	blob \| commitdiff \| raw \| diff to current
2021-03-21	bors[bot]	Merge #8137	blob \| commitdiff \| raw \| diff to current
2021-03-21	bors[bot]	Merge #8134	blob \| commitdiff \| raw \| diff to current
2021-03-21	Florian Diebold	Introduce QuantifiedWhereClause and DynTy analogous...	blob \| commitdiff \| raw \| diff to current
2021-03-21	bors[bot]	Merge #8133	blob \| commitdiff \| raw \| diff to current
2021-03-21	Florian Diebold	Ignore type bindings in generic_predicates_for_param	blob \| commitdiff \| raw \| diff to current
2021-03-20	bors[bot]	Merge #8119	blob \| commitdiff \| raw \| diff to current
2021-03-20	bors[bot]	Merge #8116	blob \| commitdiff \| raw \| diff to current
2021-03-20	Florian Diebold	Remove WhereClause::Error	blob \| commitdiff \| raw \| diff to current
2021-03-20	bors[bot]	Merge #8115	blob \| commitdiff \| raw \| diff to current
2021-03-20	Florian Diebold	Rename GenericPredicate -> WhereClause	blob \| commitdiff \| raw \| diff to current
2021-03-19	bors[bot]	Merge #8097	blob \| commitdiff \| raw \| diff to current
2021-03-19	bors[bot]	Merge #8101	blob \| commitdiff \| raw \| diff to current
2021-03-19	Lukas Wirth	Replace Projection variant in GenericPredicate with...	blob \| commitdiff \| raw \| diff to current
2021-03-18	bors[bot]	Merge #8095	blob \| commitdiff \| raw \| diff to current
2021-03-18	bors[bot]	Merge #8096	blob \| commitdiff \| raw \| diff to current
2021-03-18	Florian Diebold	Chalkify TraitRef	blob \| commitdiff \| raw \| diff to current
2021-03-17	bors[bot]	Merge #8059	blob \| commitdiff \| raw \| diff to current
2021-03-17	bors[bot]	Merge #8048	blob \| commitdiff \| raw \| diff to current
2021-03-16	bors[bot]	Merge #8042	blob \| commitdiff \| raw \| diff to current
2021-03-16	bors[bot]	Merge #8041	blob \| commitdiff \| raw \| diff to current
2021-03-16	Florian Diebold	Rename Substs -> Substitution	blob \| commitdiff \| raw \| diff to current
2021-03-16	bors[bot]	Merge #8034	blob \| commitdiff \| raw \| diff to current
2021-03-16	bors[bot]	Merge #8051	blob \| commitdiff \| raw \| diff to current
2021-03-16	bors[bot]	Merge #7498	blob \| commitdiff \| raw \| diff to current
2021-03-16	bors[bot]	Merge #7900 #8000	blob \| commitdiff \| raw \| diff to current
2021-03-15	bors[bot]	Merge #7970	blob \| commitdiff \| raw \| diff to current
2021-03-15	oxalica	Use hir formatter more	blob \| commitdiff \| raw \| diff to current
2021-03-15	bors[bot]	Merge #8021 #8022	blob \| commitdiff \| raw \| diff to current
2021-03-15	bors[bot]	Merge #7966	blob \| commitdiff \| raw \| diff to current
2021-03-14	bors[bot]	Merge #8014	blob \| commitdiff \| raw \| diff to current
2021-03-14	bors[bot]	Merge #8016	blob \| commitdiff \| raw \| diff to current
2021-03-14	Florian Diebold	Rename some fields to their Chalk names	blob \| commitdiff \| raw \| diff to current
2021-03-14	bors[bot]	Merge #7993	blob \| commitdiff \| raw \| diff to current
2021-03-14	bors[bot]	Merge #8010	blob \| commitdiff \| raw \| diff to current
2021-03-13	bors[bot]	Merge #8003	blob \| commitdiff \| raw \| diff to current
2021-03-13	Florian Diebold	Move type lowering methods to TyLoweringContext	blob \| commitdiff \| raw \| diff to current
2021-03-13	bors[bot]	Merge #8001	blob \| commitdiff \| raw \| diff to current
2021-03-13	Florian Diebold	Use chalk_ir::OpaqueTyId	blob \| commitdiff \| raw \| diff to current
2021-03-13	Florian Diebold	Use chalk_ir::ClosureId	blob \| commitdiff \| raw \| diff to current
2021-03-13	bors[bot]	Merge #7998	blob \| commitdiff \| raw \| diff to current
2021-03-13	Florian Diebold	Use chalk_ir::FnDefId	blob \| commitdiff \| raw \| diff to current
2021-03-13	Florian Diebold	Use chalk_ir::AssocTypeId	blob \| commitdiff \| raw \| diff to current
2021-03-13	bors[bot]	Merge #7996	blob \| commitdiff \| raw \| diff to current
2021-03-13	Florian Diebold	Separate `Ty` and `TyKind` like in Chalk	blob \| commitdiff \| raw \| diff to current
2021-03-13	bors[bot]	Merge #7799	blob \| commitdiff \| raw \| diff to current
2021-03-13	bors[bot]	Merge #7981	blob \| commitdiff \| raw \| diff to current
2021-03-13	bors[bot]	Merge #7984	blob \| commitdiff \| raw \| diff to current
2021-03-13	bors[bot]	Merge #7994	blob \| commitdiff \| raw \| diff to current
2021-03-12	bors[bot]	Merge #7986	blob \| commitdiff \| raw \| diff to current
2021-03-12	Florian Diebold	Simplify a bit	blob \| commitdiff \| raw \| diff to current
2021-03-12	bors[bot]	Merge #7985	blob \| commitdiff \| raw \| diff to current
2021-03-12	Florian Diebold	Use Chalk Environment more directly	blob \| commitdiff \| raw \| diff to current
2021-03-12	bors[bot]	Merge #7956	blob \| commitdiff \| raw \| diff to current
2021-03-09	bors[bot]	Merge #6822	blob \| commitdiff \| raw \| diff to current
2021-03-09	bors[bot]	Merge #7948	blob \| commitdiff \| raw \| diff to current
2021-03-09	Jonas Schievink	Delete `ContainerId`	blob \| commitdiff \| raw \| diff to current
2021-03-06	bors[bot]	Merge #7865	blob \| commitdiff \| raw \| diff to current
2021-03-05	bors[bot]	Merge #7884	blob \| commitdiff \| raw \| diff to current
2021-03-05	bors[bot]	Merge #7869	blob \| commitdiff \| raw \| diff to current
2021-03-05	bors[bot]	Merge #7881	blob \| commitdiff \| raw \| diff to current
2021-03-05	bors[bot]	Merge #7880	blob \| commitdiff \| raw \| diff to current
2021-03-05	bors[bot]	Merge #7870	blob \| commitdiff \| raw \| diff to current
2021-03-04	Lukas Wirth	Use chalk_ir::AdtId	blob \| commitdiff \| raw \| diff to current
2021-03-02	bors[bot]	Merge #7335 #7691	blob \| commitdiff \| raw \| diff to current
2021-03-02	bors[bot]	Merge #7513	blob \| commitdiff \| raw \| diff to current
2021-03-02	bors[bot]	Merge #7777	blob \| commitdiff \| raw \| diff to current
2021-03-02	bors[bot]	Merge #7827	blob \| commitdiff \| raw \| diff to current
2021-03-01	bors[bot]	Merge #7778	blob \| commitdiff \| raw \| diff to current
2021-03-01	bors[bot]	Merge #7826	blob \| commitdiff \| raw \| diff to current
2021-03-01	Lukas Wirth	Introduce Ty::Alias	blob \| commitdiff \| raw \| diff to current
2021-03-01	bors[bot]	Merge #7822	blob \| commitdiff \| raw \| diff to current
2021-02-28	bors[bot]	Merge #7816	blob \| commitdiff \| raw \| diff to current
2021-02-28	Lukas Wirth	Lift FnPointer into a struct	blob \| commitdiff \| raw \| diff to current
2021-02-28	bors[bot]	Merge #7813	blob \| commitdiff \| raw \| diff to current
2021-02-28	Lukas Wirth	Inline TypeCtor into Ty	blob \| commitdiff \| raw \| diff to current
2021-02-02	bors[bot]	Merge #7523	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom