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

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

[rust.git] / crates / hir_ty / src / infer.rs

2021-04-23	bors[bot]	Merge #8317	blob \| commitdiff \| raw
2021-04-18	bors[bot]	Merge #8560	blob \| commitdiff \| raw
2021-04-13	bors[bot]	Merge #8432	blob \| commitdiff \| raw
2021-04-13	bors[bot]	Merge #8415	blob \| commitdiff \| raw
2021-04-10	bors[bot]	Merge #8436	blob \| commitdiff \| raw
2021-04-10	bors[bot]	Merge #8410	blob \| commitdiff \| raw
2021-04-08	bors[bot]	Merge #8421	blob \| commitdiff \| raw
2021-04-08	bors[bot]	Merge #8419 #8423	blob \| commitdiff \| raw
2021-04-08	bors[bot]	Merge #8422	blob \| commitdiff \| raw \| diff to current
2021-04-08	Florian Diebold	Remove unused	blob \| commitdiff \| raw
2021-04-08	Florian Diebold	Replace remaining `fold` calls	blob \| commitdiff \| raw \| diff to current
2021-04-08	bors[bot]	Merge #8207	blob \| commitdiff \| raw \| diff to current
2021-04-07	bors[bot]	Merge #8409	blob \| commitdiff \| raw \| diff to current
2021-04-07	Florian Diebold	InEnvironment::new takes a reference	blob \| commitdiff \| raw \| diff to current
2021-04-07	bors[bot]	Merge #8394	blob \| commitdiff \| raw \| diff to current
2021-04-07	Lukas Wirth	Infer variants through type aliased enums	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8382	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8387	blob \| commitdiff \| raw \| diff to current
2021-04-06	Florian Diebold	Remove `SolutionVariables`, add ConstrainedSubst analog...	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8386	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8385	blob \| commitdiff \| raw \| diff to current
2021-04-06	Florian Diebold	Align `InferenceVar` to Chalk	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8379	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8380	blob \| commitdiff \| raw \| diff to current
2021-04-06	Jonas Schievink	infer: remove `record_pat_field_resolutions` field	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8371	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8376	blob \| commitdiff \| raw \| diff to current
2021-04-06	Jonas Schievink	infer: remove `record_field_resolutions` field	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8375	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8364	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8368	blob \| commitdiff \| raw \| diff to current
2021-04-06	Lukas Wirth	Move Ty accessors to TyExt	blob \| commitdiff \| raw \| diff to current
2021-04-05	bors[bot]	Merge #8352	blob \| commitdiff \| raw \| diff to current
2021-04-05	bors[bot]	Merge #8350	blob \| commitdiff \| raw \| diff to current
2021-04-05	bors[bot]	Merge #8348	blob \| commitdiff \| raw \| diff to current
2021-04-05	Florian Diebold	Add Interner parameter to Binders::substitute	blob \| commitdiff \| raw \| diff to current
2021-04-05	Florian Diebold	Binders::subst -> substitute	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 #8328	blob \| commitdiff \| raw \| diff to current
2021-04-04	Florian Diebold	Move things from `traits` module to `types` as well	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	Replace remaining uses of Substitution::build_for_def	blob \| commitdiff \| raw \| diff to current
2021-04-04	Florian Diebold	Add and start using TraitRef and ProjectionTy builders	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-02	bors[bot]	Merge #8284	blob \| commitdiff \| raw \| diff to current
2021-04-02	bors[bot]	Merge #8291	blob \| commitdiff \| raw \| diff to current
2021-04-02	bors[bot]	Merge #8287	blob \| commitdiff \| raw \| diff to current
2021-04-02	bors[bot]	Merge #8294	blob \| commitdiff \| raw \| diff to current
2021-04-02	Aleksey Kladov	minor: add profile call for resolve_obligations	blob \| commitdiff \| raw \| diff to current
2021-04-02	bors[bot]	Merge #8293	blob \| commitdiff \| raw \| diff to current
2021-04-02	bors[bot]	Merge #8285	blob \| commitdiff \| raw \| diff to current
2021-04-01	Florian Diebold	Don't recheck obligations if we have learned nothing new	blob \| commitdiff \| raw \| diff to current
2021-03-27	bors[bot]	Merge #8213	blob \| commitdiff \| raw \| diff to current
2021-03-27	bors[bot]	Merge #8201	blob \| commitdiff \| raw \| diff to current
2021-03-26	bors[bot]	Merge #8056	blob \| commitdiff \| raw \| diff to current
2021-03-26	Josh Mcguigan	completion relevance consider if types can be unified	blob \| commitdiff \| raw \| diff to current
2021-03-24	bors[bot]	Merge #7907	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 #8139	blob \| commitdiff \| raw \| diff to current
2021-03-21	Florian Diebold	Align InEnvironment with Chalk	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 #8117	blob \| commitdiff \| raw \| diff to current
2021-03-20	Florian Diebold	Turn Obligation into something similar to chalk_ir...	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 #7900 #8000	blob \| commitdiff \| raw \| diff to current
2021-03-15	bors[bot]	Merge #7970	blob \| commitdiff \| raw \| diff to current
2021-03-15	bors[bot]	Merge #8020	blob \| commitdiff \| raw \| diff to current
2021-03-15	bors[bot]	Merge #8015	blob \| commitdiff \| raw \| diff to current
2021-03-15	bors[bot]	Merge #8008	blob \| commitdiff \| raw \| diff to current
2021-03-15	bors[bot]	Merge #8018	blob \| commitdiff \| raw \| diff to current
2021-03-15	bors[bot]	Merge #8026	blob \| commitdiff \| raw \| diff to current
2021-03-15	Aleksey Kladov	Simplify source maps for fields	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	Florian Diebold	Make Ty wrap TyKind in an Arc	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom