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

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

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

2021-07-08	Lukas Wirth	Implement `CoerceMany`	blob \| commitdiff \| raw
2021-07-08	Lukas Wirth	Record coercion adjustments	blob \| commitdiff \| raw \| diff to current
2021-06-21	bors[bot]	Merge #9264	blob \| commitdiff \| raw \| diff to current
2021-06-17	bors[bot]	Merge #9313	blob \| commitdiff \| raw \| diff to current
2021-06-17	bors[bot]	Merge #9315	blob \| commitdiff \| raw \| diff to current
2021-06-17	Lukas Wirth	Nest all the or-patterns!	blob \| commitdiff \| raw \| diff to current
2021-06-16	bors[bot]	Merge #9258	blob \| commitdiff \| raw \| diff to current
2021-06-14	bors[bot]	Merge #8951	blob \| commitdiff \| raw \| diff to current
2021-06-14	bors[bot]	Merge #9260	blob \| commitdiff \| raw \| diff to current
2021-06-14	Jade	tree-wide: make rustdoc links spiky so they are clickable	blob \| commitdiff \| raw \| diff to current
2021-06-13	bors[bot]	Merge #9242	blob \| commitdiff \| raw \| diff to current
2021-06-13	Maan2003	clippy::redudant_borrow	blob \| commitdiff \| raw \| diff to current
2021-05-31	bors[bot]	Merge #8952	blob \| commitdiff \| raw \| diff to current
2021-05-30	bors[bot]	Merge #9062	blob \| commitdiff \| raw \| diff to current
2021-05-27	bors[bot]	Merge #8997	blob \| commitdiff \| raw \| diff to current
2021-05-27	bors[bot]	Merge #9005	blob \| commitdiff \| raw \| diff to current
2021-05-26	bors[bot]	Merge #8995	blob \| commitdiff \| raw \| diff to current
2021-05-26	bors[bot]	Merge #9008	blob \| commitdiff \| raw \| diff to current
2021-05-26	bors[bot]	Merge #9007	blob \| commitdiff \| raw \| diff to current
2021-05-26	Laurențiu Nicola	clippy::redundant_clone fixes	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	Some remaining cleanups	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Record type mismatches for failed coercions in match...	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Refactor expectation handling	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 handling of diverging branches in match coercion	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Fix coercion of two closures to a function pointer	blob \| commitdiff \| raw \| diff to current
2021-05-21	Florian Diebold	Temporary fix for unknown expectations	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-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 remaining `interned_mut` call	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-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 #8371	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-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 #8352	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 remaining uses of Substitution::build_for_def	blob \| commitdiff \| raw \| diff to current
2021-04-04	Florian Diebold	More TyBuilder use	blob \| commitdiff \| raw \| diff to current
2021-04-04	Florian Diebold	Move Ty::fn_ptr to 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-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-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
next

Empowering everyone to build reliable and efficient software.

RSS Atom