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

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

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

2021-05-23	Florian Diebold	Record method call substs and use them in call info	blob \| commitdiff \| raw
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	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	Get rid of resolve_ty_as_possible	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 if/else coercion	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-20	bors[bot]	Merge #8873	blob \| commitdiff \| raw \| diff to current
2021-05-19	bors[bot]	Merge #8884	blob \| commitdiff \| raw \| diff to current
2021-05-19	bors[bot]	Merge #8875	blob \| commitdiff \| raw \| diff to current
2021-05-19	bors[bot]	Merge #8882	blob \| commitdiff \| raw \| diff to current
2021-05-19	Dawer	internal: Record mismatches of pattern types.	blob \| commitdiff \| raw \| diff to current
2021-05-18	bors[bot]	Merge #8871	blob \| commitdiff \| raw \| diff to current
2021-05-17	bors[bot]	Merge #8795	blob \| commitdiff \| raw \| diff to current
2021-05-16	bors[bot]	Merge #8845	blob \| commitdiff \| raw \| diff to current
2021-05-16	bors[bot]	Merge #8853	blob \| commitdiff \| raw \| diff to current
2021-05-16	bors[bot]	Merge #8813	blob \| commitdiff \| raw \| diff to current
2021-05-16	Jade	Address final feedback	blob \| commitdiff \| raw \| diff to current
2021-05-14	Jade	Add more tests, refactor array lengths/consteval work	blob \| commitdiff \| raw \| diff to current
2021-05-13	bors[bot]	Merge #8830	blob \| commitdiff \| raw \| diff to current
2021-05-13	bors[bot]	Merge #8822	blob \| commitdiff \| raw \| diff to current
2021-05-13	bors[bot]	Merge #8814	blob \| commitdiff \| raw \| diff to current
2021-05-13	bors[bot]	Merge #8820	blob \| commitdiff \| raw \| diff to current
2021-05-13	bors[bot]	Merge #8823	blob \| commitdiff \| raw \| diff to current
2021-05-13	Jade	Add support for lengths in array repeats, if they are...	blob \| commitdiff \| raw \| diff to current
2021-05-13	Jade	Support length for ByteStrings	blob \| commitdiff \| raw \| diff to current
2021-05-13	Jade	Add lowering of array lengths in types	blob \| commitdiff \| raw \| diff to current
2021-05-12	bors[bot]	Merge #8799	blob \| commitdiff \| raw \| diff to current
2021-05-12	bors[bot]	Merge #8802	blob \| commitdiff \| raw \| diff to current
2021-05-11	Jade	address review by @eddyb	blob \| commitdiff \| raw \| diff to current
2021-05-11	bors[bot]	Merge #8398	blob \| commitdiff \| raw \| diff to current
2021-05-11	Jade	Add basic support for array lengths in types	blob \| commitdiff \| raw \| diff to current
2021-05-03	bors[bot]	Merge #8427	blob \| commitdiff \| raw \| diff to current
2021-05-03	Daniel McNab	Fix inference with conditionally compiled tails	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 #8354	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-09	bors[bot]	Merge #8450	blob \| commitdiff \| raw \| diff to current
2021-04-09	bors[bot]	Merge #8443 #8446	blob \| commitdiff \| raw \| diff to current
2021-04-09	bors[bot]	Merge #8445	blob \| commitdiff \| raw \| diff to current
2021-04-09	Florian Diebold	Move ToChalk -> mapping	blob \| commitdiff \| raw \| diff to current
2021-04-09	Florian Diebold	Reorganize hir_ty modules	blob \| commitdiff \| raw \| diff to current
2021-04-08	bors[bot]	Merge #8429	blob \| commitdiff \| raw \| diff to current
2021-04-08	bors[bot]	Merge #8433	blob \| commitdiff \| raw \| diff to current
2021-04-08	Florian Diebold	Cleanup	blob \| commitdiff \| raw \| diff to current
2021-04-08	Florian Diebold	Intern Substitutions	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	Florian Diebold	Remove unused	blob \| commitdiff \| raw \| diff to current
2021-04-08	Florian Diebold	Fix shifted_{in,out} 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 #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 #8402	blob \| commitdiff \| raw \| diff to current
2021-04-07	Florian Diebold	Remove Ty::substs{_mut}	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	Alexandru Macovei	Use Box'es to reduce size of hir_def::expr::Expr from...	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors[bot]	Merge #8355	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 #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	Use a constructor function for Static lifetimes	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 #8360	blob \| commitdiff \| raw \| diff to current
2021-04-05	Florian Diebold	Fix shifting of binders in FnPointer	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 #8356	blob \| commitdiff \| raw \| diff to current
2021-04-05	Florian Diebold	Substitution::prefix -> subst_prefix	blob \| commitdiff \| raw \| diff to current
2021-04-05	Florian Diebold	Substitution::single -> from1	blob \| commitdiff \| raw \| diff to current
2021-04-05	Florian Diebold	Move ProjectionTy methods to extension trait	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	Florian Diebold	Use VariableKinds in Binders	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	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-04	Florian Diebold	Some more TyBuilder use	blob \| commitdiff \| raw \| diff to current
2021-04-04	Florian Diebold	Add TyBuilder::adt	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom