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

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

2021-08-23	jackh726	When checking associated type bounds, use bound vars...	commit \| commitdiff \| tree
2021-08-13	jackh726	Point to where clause for GATs	commit \| commitdiff \| tree
2021-08-10	jackh726	Reduce verbosity of RUSTC_LOG	commit \| commitdiff \| tree
2021-07-20	jackh726	Better errors when we don't have implicit statics in...	commit \| commitdiff \| tree
2021-07-19	jackh726	Better diagnostics when mismatched types due to implict...	commit \| commitdiff \| tree
2021-07-19	jackh726	Normalize generic_ty before checking if bound is met	commit \| commitdiff \| tree
2021-07-18	jackh726	When pretty printing, name placeholders as bound regions	commit \| commitdiff \| tree
2021-07-17	jackh726	Add needs_normalization	commit \| commitdiff \| tree
2021-07-17	jackh726	Some perf optimizations and logging	commit \| commitdiff \| tree
2021-07-16	Jack Huey	Make GATs no longer incomplete	commit \| commitdiff \| tree
2021-07-15	jackh726	Remove failed and review comments	commit \| commitdiff \| tree
2021-07-13	jackh726	Conditionally call normalize_erasing_regions only if...	commit \| commitdiff \| tree
2021-07-13	jackh726	WIP partial apply fix	commit \| commitdiff \| tree
2021-07-09	jackh726	Replace associated item bound vars with placeholders...	commit \| commitdiff \| tree
2021-06-28	jackh726	Add inflate to pgo	commit \| commitdiff \| tree
2021-05-17	Jack Huey	Remove legacy for trait object mangling test and replace...	commit \| commitdiff \| tree
2021-05-16	Jack Huey	Add comments to opportunistic resolve functions	commit \| commitdiff \| tree
2021-05-15	Jack Huey	Change to just use first binders and add test	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom