git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2021-04-09	Florian Diebold	More cleanups / module docs	commit \| commitdiff \| tree
2021-04-09	Florian Diebold	More cleanups	commit \| commitdiff \| tree
2021-04-09	Florian Diebold	More moving stuff around	commit \| commitdiff \| tree
2021-04-09	Florian Diebold	Move some more stuff to better places	commit \| commitdiff \| tree
2021-04-09	Florian Diebold	Move ToChalk -> mapping	commit \| commitdiff \| tree
2021-04-09	Florian Diebold	Reorganize hir_ty modules	commit \| commitdiff \| tree
2021-04-09	Florian Diebold	Improve indexing of impls	commit \| commitdiff \| tree
2021-04-09	Florian Diebold	Fix crash on syn involving lifetimes returned by Chalk	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Cleanup	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Intern Variances	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Don't intern ProgramClause at all	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Intern QuantifiedWhereClauses	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Intern ProgramClauses	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Intern CanonicalVarKinds	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Intern consts & lifetimes	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Intern types	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Intern Substitutions	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Intern VariableKinds	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Remove unused	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Replace `make_binders` by the now equivalent `make_only_type...	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Remove identity impls for ToChalk	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Fix `Canonicalized::apply_solution`	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Fix missing match arms	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Fix remaining `interned_mut` call	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Replace remaining `fold` calls	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Replace some `fold` calls	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Fix shifted_{in,out} calls	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Fix subst_prefix	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Get rid of walk_mut [not compiling]	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Fix TyBuilder methods	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Impl Fold for CallableSig	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Add HasInterner bounds	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Allow unused	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Remove obsolete Cast impls	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Make ToChalk implementations identity	commit \| commitdiff \| tree
2021-04-08	Florian Diebold	Replace all the types by their Chalk versions	commit \| commitdiff \| tree
2021-04-07	Florian Diebold	Fix return type of Substitution::interned	commit \| commitdiff \| tree
2021-04-07	Florian Diebold	InEnvironment::new takes a reference	commit \| commitdiff \| tree
2021-04-07	Florian Diebold	Make Canonical::new a free-standing function	commit \| commitdiff \| tree
2021-04-07	Florian Diebold	Fix return type of `self_type_parameter`	commit \| commitdiff \| tree
2021-04-07	Florian Diebold	Move hir_trait_id to extension trait	commit \| commitdiff \| tree
2021-04-07	Florian Diebold	Change TraitRef::hir_fmt_ext to free-standing function	commit \| commitdiff \| tree
2021-04-07	Florian Diebold	Move `equals_ctor` to `TyExt`	commit \| commitdiff \| tree
2021-04-07	Florian Diebold	Remove Ty::substs{_mut}	commit \| commitdiff \| tree
2021-04-06	Florian Diebold	Remove `SolutionVariables`, add ConstrainedSubst analogous...	commit \| commitdiff \| tree
2021-04-06	Florian Diebold	Align `InferenceVar` to Chalk	commit \| commitdiff \| tree
2021-04-06	Florian Diebold	Clean up Chalk mapping a bit	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Fix shifting of binders in FnPointer	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Align FnPointer with Chalk	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Substitution::prefix -> subst_prefix	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Get rid of Substitution::suffix	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Remove some unused methods, move some to types.rs	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Binders::wrap_empty -> wrap_empty_binders	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Substitution::single -> from1	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Move ProjectionTy methods to extension trait	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Rename shift_bound_vars{_out} to align with Chalk	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Get rid of subst_bound_vars uses	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Get rid of some walk_mut uses	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Add Interner parameter to Binders::substitute	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Binders::subst -> substitute	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Use VariableKinds in Binders	commit \| commitdiff \| tree
2021-04-05	Florian Diebold	Hide Binders internals more	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Move things from `traits` module to `types` as well	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Move things in hir_ty into submodules	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Add comment	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Replace Substitution::type_params	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Replace Substitution::bound_vars and ::type_params_for_generics	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Move TyBuilder to its own module	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Replace last uses of SubstsBuilder by TyBuilder	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Remove CallableSig::from_substs	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Use TyBuilder in another place	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Some more TyBuilder use	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Replace remaining uses of Substitution::build_for_def	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	More TyBuilder use	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	More TyBuilder use	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Add and start using TraitRef and ProjectionTy builders	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Move Ty::builtin to TyBuilder	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Add TyBuilder::adt	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Move Ty::fn_ptr to TyBuilder	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Add TyBuilder::unit() and TyExt::is_unit()	commit \| commitdiff \| tree
2021-04-04	Florian Diebold	Add TyBuilder	commit \| commitdiff \| tree
2021-04-03	Florian Diebold	Rename Ty::interned to Ty::kind	commit \| commitdiff \| tree
2021-04-03	Florian Diebold	Introduce `GenericArg` like in Chalk	commit \| commitdiff \| tree
2021-04-01	Florian Diebold	Don't recheck obligations if we have learned nothing new	commit \| commitdiff \| tree
2021-03-24	Florian Diebold	Fix chalk_ir assertion	commit \| commitdiff \| tree
2021-03-21	Florian Diebold	Align InEnvironment with Chalk	commit \| commitdiff \| tree
2021-03-21	Florian Diebold	Align Canonical more with Chalk's version	commit \| commitdiff \| tree
2021-03-21	Florian Diebold	Use QuantifiedWhereClause in generic_predicates as...	commit \| commitdiff \| tree
2021-03-21	Florian Diebold	Introduce QuantifiedWhereClause and DynTy analogous...	commit \| commitdiff \| tree
2021-03-21	Florian Diebold	Ignore type bindings in generic_predicates_for_param	commit \| commitdiff \| tree
2021-03-21	Florian Diebold	Test for a Salsa bug	commit \| commitdiff \| tree
2021-03-20	Florian Diebold	Turn Obligation into something similar to chalk_ir...	commit \| commitdiff \| tree
2021-03-20	Florian Diebold	Remove WhereClause::Error	commit \| commitdiff \| tree
2021-03-20	Florian Diebold	Rename GenericPredicate -> WhereClause	commit \| commitdiff \| tree
2021-03-18	Florian Diebold	Chalkify TraitRef	commit \| commitdiff \| tree
2021-03-16	Florian Diebold	Rename Substs -> Substitution	commit \| commitdiff \| tree
2021-03-15	Florian Diebold	Use SmallVec for Substs	commit \| commitdiff \| tree
2021-03-15	Florian Diebold	Fix unification logic	commit \| commitdiff \| tree
2021-03-14	Florian Diebold	Don't use Substs for Ref/Raw/Array/Slice	commit \| commitdiff \| tree
2021-03-14	Florian Diebold	Make Ty wrap TyKind in an Arc	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom