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-10-20	Laurențiu Nicola	Make some functions non-generic	blob \| commitdiff \| raw
2021-10-17	bors[bot]	Merge #10417	blob \| commitdiff \| raw \| diff to current
2021-10-14	bors[bot]	Merge #10434	blob \| commitdiff \| raw \| diff to current
2021-10-12	bors[bot]	Merge #10423	blob \| commitdiff \| raw \| diff to current
2021-10-06	bors[bot]	Merge #10420	blob \| commitdiff \| raw \| diff to current
2021-10-06	bors[bot]	Merge #10459	blob \| commitdiff \| raw \| diff to current
2021-10-05	bors[bot]	Merge #10447	blob \| commitdiff \| raw \| diff to current
2021-10-05	bors[bot]	Merge #10458	blob \| commitdiff \| raw \| diff to current
2021-10-05	bors[bot]	Merge #10440	blob \| commitdiff \| raw \| diff to current
2021-10-04	Aramis Razzaghipour	Replace `if let` with `match` where appropriate	blob \| commitdiff \| raw \| diff to current
2021-09-25	bors[bot]	Merge #10211	blob \| commitdiff \| raw \| diff to current
2021-09-24	bors[bot]	Merge #10105	blob \| commitdiff \| raw \| diff to current
2021-09-15	bors[bot]	Merge #10048	blob \| commitdiff \| raw \| diff to current
2021-09-14	bors[bot]	Merge #10204	blob \| commitdiff \| raw \| diff to current
2021-09-13	bors[bot]	Merge #10199	blob \| commitdiff \| raw \| diff to current
2021-09-12	bors[bot]	Merge #10213	blob \| commitdiff \| raw \| diff to current
2021-09-12	bors[bot]	Merge #10212	blob \| commitdiff \| raw \| diff to current
2021-09-12	Florian Diebold	Avoid type inference panic on bitslice methods	blob \| commitdiff \| raw \| diff to current
2021-09-08	bors[bot]	Merge #10093	blob \| commitdiff \| raw \| diff to current
2021-09-03	bors[bot]	Merge #10130	blob \| commitdiff \| raw \| diff to current
2021-09-03	bors[bot]	Merge #10135	blob \| commitdiff \| raw \| diff to current
2021-09-03	Lukas Wirth	minor: fix some clippy lints	blob \| commitdiff \| raw \| diff to current
2021-09-01	bors[bot]	Merge #9954	blob \| commitdiff \| raw \| diff to current
2021-08-27	bors[bot]	Merge #9970	blob \| commitdiff \| raw \| diff to current
2021-08-24	bors[bot]	Merge #9944	blob \| commitdiff \| raw \| diff to current
2021-08-23	bors[bot]	Merge #10001	blob \| commitdiff \| raw \| diff to current
2021-08-22	bors[bot]	Merge #9972	blob \| commitdiff \| raw \| diff to current
2021-08-21	bors[bot]	Merge #9975	blob \| commitdiff \| raw \| diff to current
2021-08-21	Florian Diebold	Fix panic caused by #9966	blob \| commitdiff \| raw \| diff to current
2021-08-21	bors[bot]	Merge #9908	blob \| commitdiff \| raw \| diff to current
2021-08-21	bors[bot]	Merge #9966	blob \| commitdiff \| raw \| diff to current
2021-08-21	Florian Diebold	Determine expected parameters from expected return...	blob \| commitdiff \| raw \| diff to current
2021-07-20	bors[bot]	Merge #9656	blob \| commitdiff \| raw \| diff to current
2021-07-20	Florian Diebold	Revert "Merge #9655"	blob \| commitdiff \| raw \| diff to current
2021-07-20	bors[bot]	Merge #9655	blob \| commitdiff \| raw \| diff to current
2021-07-18	Florian Diebold	Determine expected parameters from expected return...	blob \| commitdiff \| raw \| diff to current
2021-07-12	bors[bot]	Merge #9535	blob \| commitdiff \| raw \| diff to current
2021-07-11	bors[bot]	Merge #9567 #9568	blob \| commitdiff \| raw \| diff to current
2021-07-11	bors[bot]	Merge #9449	blob \| commitdiff \| raw \| diff to current
2021-07-09	bors[bot]	Merge #9541	blob \| commitdiff \| raw \| diff to current
2021-07-09	bors[bot]	Merge #9512	blob \| commitdiff \| raw \| diff to current
2021-07-08	Lukas Wirth	Record coercion adjustments	blob \| commitdiff \| raw \| diff to current
2021-05-31	bors[bot]	Merge #8952	blob \| commitdiff \| raw \| diff to current
2021-05-25	bors[bot]	Merge #8767	blob \| commitdiff \| raw \| diff to current
2021-05-25	bors[bot]	Merge #8942	blob \| commitdiff \| raw \| diff to current
2021-05-24	bors[bot]	Merge #8955	blob \| commitdiff \| raw \| diff to current
2021-05-23	bors[bot]	Merge #8945	blob \| commitdiff \| raw \| diff to current
2021-05-23	Florian Diebold	Record method call substs and use them in call info	blob \| commitdiff \| raw \| diff to current
2021-05-22	bors[bot]	Merge #8923	blob \| commitdiff \| raw \| diff to current
2021-05-22	bors[bot]	Merge #8922	blob \| commitdiff \| raw \| diff to current
2021-05-22	bors[bot]	Merge #8868	blob \| commitdiff \| raw \| diff to current
2021-05-22	bors[bot]	Merge #8921	blob \| commitdiff \| raw \| diff to current
2021-05-22	Florian Diebold	Resolve any lifetime variables to 'static after inference	blob \| commitdiff \| raw \| diff to current
2021-05-22	bors[bot]	Merge #8901	blob \| commitdiff \| raw \| diff to current
2021-05-21	bors[bot]	Merge #8856	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Clean up visibilities	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Some remaining cleanups	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Remove TypeVariableTable	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Deal with goals arising from unification	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Get rid of resolve_ty_as_possible	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Make resolve_ty_shallow return Ty	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Rework obligation handling	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Fix another panic	blob \| commitdiff \| raw \| diff to current
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
next

Empowering everyone to build reliable and efficient software.

RSS Atom