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

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

2021-05-16	Jack Huey	Add comments to opportunistic resolve functions	commit \| commitdiff \| tree
2021-05-15	Jack Huey	Missed a couple things	commit \| commitdiff \| tree
2021-05-15	Jack Huey	Add comment	commit \| commitdiff \| tree
2021-05-15	Jack Huey	Revert to only using opportunistic_resolve_vars for...	commit \| commitdiff \| tree
2021-05-15	Jack Huey	Store Option<Region> as value for RegionVid	commit \| commitdiff \| tree
2021-05-14	Jack Huey	Make the UnifyValue for RegionVid ()	commit \| commitdiff \| tree
2021-04-28	Jack Huey	Don't rebind in transitive_bounds_that_define_assoc_type	commit \| commitdiff \| tree
2021-04-28	Jack Huey	Add HAS_RE_LATE_BOUND if there are bound vars	commit \| commitdiff \| tree
2021-04-27	Jack Huey	Make traits with GATs not object safe	commit \| commitdiff \| tree
2021-04-25	Jack Huey	Deduplicate ParamCandidates with the same value except...	commit \| commitdiff \| tree
2021-04-21	Jack Huey	More review changes	commit \| commitdiff \| tree
2021-04-21	Jack Huey	Review comments	commit \| commitdiff \| tree
2021-04-21	Jack Huey	Move nested quantification check to ast_validation	commit \| commitdiff \| tree
2021-04-20	Jack Huey	Remove TraitRefHackInner and use the concatenating...	commit \| commitdiff \| tree
2021-04-20	Jack Huey	Add BinderScopeType to replace binder_depth and from_poly_tr...	commit \| commitdiff \| tree
2021-04-20	Jack Huey	A non-minimal set of TraitRefBoundarys to work on removing...	commit \| commitdiff \| tree
2021-04-20	Jack Huey	Precompute inverse binder depth	commit \| commitdiff \| tree
2021-04-06	Jack Huey	Fix a couple resolve bugs from binder refactor	commit \| commitdiff \| tree
2021-04-05	Jack Huey	Don't concatenate binders across types	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Cleanups and comments	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Fix tests and AstConv -> dyn AstConv	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Fmt and test revert	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Fix new problem from rebase and a little cleanup	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Add var to BoundRegion. Add query to get bound vars...	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Make late and late_anon regions track the bound var...	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Revert explicit lifetimes	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Track bound vars	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Track bound vars	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Add tcx lifetime to Binder	commit \| commitdiff \| tree
2021-03-31	Jack Huey	count bound vars	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Add u32 for bound variables to Binder	commit \| commitdiff \| tree
2021-03-31	Jack Huey	Some rebinds and dummys	commit \| commitdiff \| tree
2021-03-25	Jack Huey	Bless nll test	commit \| commitdiff \| tree
2021-03-24	Jack Huey	Review comments	commit \| commitdiff \| tree
2021-03-24	Jack Huey	resolve late lifetimes by item	commit \| commitdiff \| tree
2021-03-15	Jack Huey	Make functions passed to BoundVarReplacer be optional	commit \| commitdiff \| tree
2021-02-02	Jack Huey	More associated type tests	commit \| commitdiff \| tree
2021-02-02	Jack Huey	Update Chalk	commit \| commitdiff \| tree
2021-02-01	Jack Huey	Upgrade Chalk	commit \| commitdiff \| tree
2021-01-28	Jack Huey	Add some test for ATB issues	commit \| commitdiff \| tree
2021-01-17	Jack Huey	Add comment about Encodable/Decodable impl	commit \| commitdiff \| tree
2021-01-17	Jack Huey	Don't derive TyEncodable/TyDecodable for Binder	commit \| commitdiff \| tree
2021-01-17	Jack Huey	Impl EncodableWithShorthand for PredicateKind	commit \| commitdiff \| tree
2021-01-17	Jack Huey	Can't use EncodableWithShorthand for Predicate	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Review changes	commit \| commitdiff \| tree
2021-01-16	Jack Huey	More review comments	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Review changes	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Cleanup	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Use no_bound_vars	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Cleanup	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Use pred not binder	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Use pred not binder	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Cleanup	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Cleanup	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Remove PredicateKind	commit \| commitdiff \| tree
2021-01-16	Jack Huey	fold_with not super_fold_with in TypeFoldable impl...	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Remove PredicateKind::Atom	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Remove PredicateKind	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Intermediate formatting and such	commit \| commitdiff \| tree
2021-01-16	Jack Huey	Remove PredicateKind::Atom	commit \| commitdiff \| tree
2020-12-19	Jack Huey	More rebinds	commit \| commitdiff \| tree
2020-12-19	Jack Huey	More rebinds	commit \| commitdiff \| tree
2020-12-18	Jack Huey	Change potentially_qualified to be defined on Binder...	commit \| commitdiff \| tree
2020-12-18	Jack Huey	Make BoundRegion have a kind of BoungRegionKind	commit \| commitdiff \| tree
2020-12-18	Jack Huey	Make BoundRegion have a kind of BoungRegionKind	commit \| commitdiff \| tree
2020-12-17	Jack Huey	Bless NLL test	commit \| commitdiff \| tree
2020-12-14	Jack Huey	Add explanation for skip_binder in relate	commit \| commitdiff \| tree
2020-12-11	Jack Huey	Move binder for dyn to each list item	commit \| commitdiff \| tree
2020-12-11	Jack Huey	Move binder for dyn to each list item	commit \| commitdiff \| tree
2020-12-11	Jack Huey	Move binder for dyn to each list item	commit \| commitdiff \| tree
2020-10-29	Jack Huey	Make anonymous binders start at 0	commit \| commitdiff \| tree
2020-10-16	Jack Huey	Review comments	commit \| commitdiff \| tree
2020-10-16	Jack Huey	map_bound_ref -> rebind	commit \| commitdiff \| tree
2020-10-16	Jack Huey	Review comments	commit \| commitdiff \| tree
2020-10-16	Jack Huey	Use map_bound(_ref) instead of Binder::bind when possible	commit \| commitdiff \| tree
2020-10-06	Jack Huey	Update to chalk 0.31. Implement some unimplemented...	commit \| commitdiff \| tree
2020-09-04	Jack Huey	kind -> kind()	commit \| commitdiff \| tree
2020-09-04	Jack Huey	Bless changed test output	commit \| commitdiff \| tree
2020-09-04	Jack Huey	Review comments	commit \| commitdiff \| tree
2020-09-04	Jack Huey	More chalk work	commit \| commitdiff \| tree
2020-09-04	Jack Huey	Upgrade chalk to 0.21	commit \| commitdiff \| tree
2020-06-24	Jack Huey	Update Chalk	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Return type is bound too	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Change InternedAdtDef to &'tcx AdtDef	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Nits and change skip_binder to no_bound_vars for fndef	commit \| commitdiff \| tree
2020-06-19	Jack	Update chalk to 0.11.0	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Fix building	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Lower consts	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Update chalk and add LifetimeOutlives and ObjectSafe...	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Update Chalk	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Test error order is non-deterministic	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Remove RustDefId	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Implement fn_def_datum	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Use builtin types for Never, Array, and FnDef	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Update chalk	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Update chalk	commit \| commitdiff \| tree
2020-06-19	Jack Huey	Add compare-mode=chalk and add a little bit more implementat...	commit \| commitdiff \| tree
2020-05-12	Jack Huey	Remove ty::UnnormalizedProjection	commit \| commitdiff \| tree
2020-05-07	Jack Huey	Fix nit and cargo.lock	commit \| commitdiff \| tree
2020-05-07	Jack Huey	Fix nit and cargo.lock	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom