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

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

2021-05-23	Florian Diebold	Infer correct expected type in closure	commit \| commitdiff \| tree
2021-05-23	Florian Diebold	Infer correct expected type for generic struct fields	commit \| commitdiff \| tree
2021-05-23	Florian Diebold	Record method call substs and use them in call info	commit \| commitdiff \| tree
2021-05-23	Florian Diebold	Paper over #8931 a bit more	commit \| commitdiff \| tree
2021-05-23	Florian Diebold	Add test for #8931 and better checking	commit \| commitdiff \| tree
2021-05-22	Florian Diebold	Add last remaining module docstring	commit \| commitdiff \| tree
2021-05-22	Florian Diebold	Resolve any lifetime variables to 'static after inference	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Clean up visibilities	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Some remaining cleanups	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Fix test after rebase	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Record type mismatches for failed coercions in match...	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Refactor expectation handling	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Remove TypeVariableTable	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Deal with goals arising from unification	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Get rid of resolve_ty_as_possible	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Make resolve_ty_shallow return Ty	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Rework obligation handling	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Fix another panic	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Improve debug printing without TLS	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Fix panic	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Fix HIR expecting errors to unify with anything	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Fix compilation of hir and ide crates	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Fix if/else coercion	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Make diverging type variables work again	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Fix handling of diverging branches in match coercion	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Fix coercion of two closures to a function pointer	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Update tests with expected changes	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Make type resolver a proper folder, make it resolve...	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Fix fallback to bound vars in `unify`	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Better Debug impl for InternedWrapper	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Temporary fix for unknown expectations	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Fix warnings & format	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Rewrite coercion using the new unification	commit \| commitdiff \| tree
2021-05-21	Florian Diebold	Remove our unification code, use Chalk's instead	commit \| commitdiff \| tree
2021-04-29	Florian Diebold	Don't look in super traits for <T as Trait>::Assoc	commit \| commitdiff \| tree
2021-04-29	Florian Diebold	Rewrite all_super_trait_refs as an iterator	commit \| commitdiff \| tree
2021-04-29	Florian Diebold	Handle cycles in generic_defaults more gracefully	commit \| commitdiff \| tree
2021-04-29	Florian Diebold	Add test for #8686	commit \| commitdiff \| tree
2021-04-11	Florian Diebold	Remove assertion in impl collection	commit \| commitdiff \| tree
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
next

Empowering everyone to build reliable and efficient software.

RSS Atom