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

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

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

2021-05-21	Florian Diebold	Fix another panic	blob \| commitdiff \| raw
2021-05-21	Florian Diebold	Fix panic	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Fix HIR expecting errors to unify with anything	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Make diverging type variables work again	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Update tests with expected changes	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Make type resolver a proper folder, make it resolve...	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Fix fallback to bound vars in `unify`	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Fix warnings & format	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Rewrite coercion using the new unification	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Remove our unification code, use Chalk's instead	blob \| commitdiff \| raw \| diff to current
2021-05-03	bors[bot]	Merge #8482	blob \| commitdiff \| raw \| diff to current
2021-05-03	bors[bot]	Merge #8427	blob \| commitdiff \| raw \| diff to current
2021-04-30	bors[bot]	Merge #8695	blob \| commitdiff \| raw \| diff to current
2021-04-29	bors[bot]	Merge #8687	blob \| commitdiff \| raw \| diff to current
2021-04-29	Comonad	fix: closure unify without check ClosureId	blob \| commitdiff \| raw \| diff to current
2021-04-23	bors[bot]	Merge #8317	blob \| commitdiff \| raw \| diff to current
2021-04-18	bors[bot]	Merge #8560	blob \| commitdiff \| raw \| diff to current
2021-04-13	bors[bot]	Merge #8432	blob \| commitdiff \| raw \| diff to current
2021-04-13	bors[bot]	Merge #8415	blob \| commitdiff \| raw \| diff to current
2021-04-10	bors[bot]	Merge #8436	blob \| commitdiff \| raw \| diff to current
2021-04-10	bors[bot]	Merge #8410	blob \| commitdiff \| raw \| diff to current
2021-04-08	bors[bot]	Merge #8421	blob \| commitdiff \| raw \| diff to current
2021-04-08	bors[bot]	Merge #8419 #8423	blob \| commitdiff \| raw \| diff to current
2021-04-08	bors[bot]	Merge #8422	blob \| commitdiff \| raw \| diff to current
2021-04-08	Florian Diebold	Remove unused	blob \| commitdiff \| raw \| diff to current
2021-04-08	Florian Diebold	Fix `Canonicalized::apply_solution`	blob \| commitdiff \| raw \| diff to current
2021-04-08	Florian Diebold	Fix missing match arms	blob \| commitdiff \| raw \| diff to current
2021-04-08	Florian Diebold	Replace remaining `fold` calls	blob \| commitdiff \| raw \| diff to current
2021-04-08	Florian Diebold	Replace some `fold` calls	blob \| commitdiff \| raw \| diff to current
2021-04-08	Florian Diebold	Add HasInterner bounds	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	bors[bot]	Merge #8408	blob \| commitdiff \| raw \| diff to current
2021-04-07	bors[bot]	Merge #8388	blob \| commitdiff \| raw \| diff to current
2021-04-07	bors[bot]	Merge #8407	blob \| commitdiff \| raw \| diff to current
2021-04-07	Florian Diebold	Move `equals_ctor` to `TyExt`	blob \| commitdiff \| raw \| diff to current
2021-04-07	bors[bot]	Merge #8394	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 #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 #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 #8355	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8366	blob \| commitdiff \| raw \| diff to current
2021-04-06	Lukas Wirth	Add chalk_ir::Const to TyKind::Array	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8359	blob \| commitdiff \| raw \| diff to current
2021-04-06	Lukas Wirth	Add Lifetime to TyKind::Ref	blob \| commitdiff \| raw \| diff to current
2021-04-05	bors[bot]	Merge #8358	blob \| commitdiff \| raw \| diff to current
2021-04-05	Florian Diebold	Align FnPointer with Chalk	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	Get rid of subst_bound_vars uses	blob \| commitdiff \| raw \| diff to current
2021-04-05	Florian Diebold	Get rid of some walk_mut uses	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 in hir_ty into submodules	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 last uses of SubstsBuilder by TyBuilder	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-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 #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-22	bors[bot]	Merge #8136 #8146	blob \| commitdiff \| raw \| diff to current
2021-03-21	Florian Diebold	Align InEnvironment with Chalk	blob \| commitdiff \| raw \| diff to current
2021-03-21	Florian Diebold	Align Canonical more with Chalk's version	blob \| commitdiff \| raw \| diff to current
2021-03-21	Florian Diebold	Introduce QuantifiedWhereClause and DynTy analogous...	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-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
next

Empowering everyone to build reliable and efficient software.

RSS Atom