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

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

2022-06-07	Santiago Pastorino	Extract lower_generic_and_bounds function	commit \| commitdiff \| tree
2022-06-07	Santiago Pastorino	Pass origin down to impl_trait_ty_to_ty	commit \| commitdiff \| tree
2022-06-07	Santiago Pastorino	Extract lower_generic_param_kind	commit \| commitdiff \| tree
2022-06-07	Santiago Pastorino	Instrument important fns in AST lowering	commit \| commitdiff \| tree
2022-06-03	Santiago Pastorino	Make params be SmallVec as originally was	commit \| commitdiff \| tree
2022-06-01	Santiago Pastorino	Always assert that impl_trait_def\|bounds are empty...	commit \| commitdiff \| tree
2022-06-01	Santiago Pastorino	instrument lower_fn_decl	commit \| commitdiff \| tree
2022-06-01	Santiago Pastorino	Split extend + inner chain into to extend calls	commit \| commitdiff \| tree
2022-06-01	Santiago Pastorino	Add debug_assert comment	commit \| commitdiff \| tree
2022-05-31	Santiago Pastorino	Fix lower_generics rustdocs	commit \| commitdiff \| tree
2022-05-31	Santiago Pastorino	Inline lower_generics_mut and remove GenericsCtor	commit \| commitdiff \| tree
2022-05-31	Santiago Pastorino	Remove ImplTraitContext::reborrow	commit \| commitdiff \| tree
2022-05-31	Santiago Pastorino	derive Copy, Clone, PartialEq, Eq for ImplTraitContext	commit \| commitdiff \| tree
2022-05-31	Santiago Pastorino	Move lower_generics definition to item.rs	commit \| commitdiff \| tree
2022-05-31	Santiago Pastorino	Rename add_implicit_generics to lower_generics	commit \| commitdiff \| tree
2022-05-31	Santiago Pastorino	Replace calls to lower_generics with calls to add_implicit_g...	commit \| commitdiff \| tree
2022-05-31	Santiago Pastorino	Add itctx: ImplTraitContext arg to add_implicit_generics	commit \| commitdiff \| tree
2022-05-31	Santiago Pastorino	Take and restore fields in with_hir_id_owner calls	commit \| commitdiff \| tree
2022-05-31	Santiago Pastorino	Move defs and bounds from Universal to LoweringContext	commit \| commitdiff \| tree
2022-03-24	Santiago Pastorino	Implement impl_subject_and_oblig instead of repeating...	commit \| commitdiff \| tree
2022-03-24	Santiago Pastorino	Where bounds are checked on inherent impls	commit \| commitdiff \| tree
2022-03-24	Santiago Pastorino	Normalize both trait and inherent	commit \| commitdiff \| tree
2022-03-24	Santiago Pastorino	Extract impl_subject_and_oglibations fn and make equate...	commit \| commitdiff \| tree
2022-03-22	Santiago Pastorino	impl_header -> impl_subject	commit \| commitdiff \| tree
2022-03-20	Santiago Pastorino	Extract ImplSubject information	commit \| commitdiff \| tree
2022-03-18	Santiago Pastorino	Minor documentation type fixes h/t @pierwill	commit \| commitdiff \| tree
2022-03-18	Santiago Pastorino	Extract obligations_satisfiable fn	commit \| commitdiff \| tree
2022-03-18	Santiago Pastorino	Fix inherent impls on negative coherence	commit \| commitdiff \| tree
2022-03-17	Santiago Pastorino	Use let else here	commit \| commitdiff \| tree
2022-03-17	Santiago Pastorino	Add more commments	commit \| commitdiff \| tree
2022-03-17	Santiago Pastorino	This test now works	commit \| commitdiff \| tree
2022-03-17	Santiago Pastorino	Extract obligation resolution to function	commit \| commitdiff \| tree
2022-03-17	Santiago Pastorino	Make negative coherence work when there's impl negative...	commit \| commitdiff \| tree
2022-03-17	Santiago Pastorino	Add comments on Polarity	commit \| commitdiff \| tree
2022-03-16	Santiago Pastorino	Add double negative trait test case	commit \| commitdiff \| tree
2022-02-22	Santiago Pastorino	local_id is always != 0 at this point	commit \| commitdiff \| tree
2022-02-20	Santiago Pastorino	Move trait_map to Lowering Context	commit \| commitdiff \| tree
2022-02-20	Santiago Pastorino	Move local_id_to_def_id to Lowering Context	commit \| commitdiff \| tree
2022-02-20	Santiago Pastorino	Avoid call to lower_node_id when not needed	commit \| commitdiff \| tree
2022-02-14	Santiago Pastorino	reveal_defining_opaque_types field doesn't exist after...	commit \| commitdiff \| tree
2022-02-14	Santiago Pastorino	Inline loose_check fn on call site	commit \| commitdiff \| tree
2022-02-14	Santiago Pastorino	Add comments about outlives_env	commit \| commitdiff \| tree
2022-02-14	Santiago Pastorino	Add failing test that should pass	commit \| commitdiff \| tree
2022-02-14	Santiago Pastorino	Call the method fork instead of clone and add proper...	commit \| commitdiff \| tree
2022-02-14	Santiago Pastorino	Properly check regions on negative overlap check	commit \| commitdiff \| tree
2022-02-14	Santiago Pastorino	Add debug calls for negative impls in coherence	commit \| commitdiff \| tree
2022-02-14	Santiago Pastorino	Move FIXME text to the right place	commit \| commitdiff \| tree
2022-02-14	Santiago Pastorino	Remove extra negative_impl_exists check	commit \| commitdiff \| tree
2022-01-31	Santiago Pastorino	Do not store overlap_mode, just pass it down on insert	commit \| commitdiff \| tree
2022-01-31	Santiago Pastorino	Move overlap_mode into trait level attribute + feature...	commit \| commitdiff \| tree
2022-01-29	Santiago Pastorino	Make local_def_id_to_hir_id query directly returh HirId	commit \| commitdiff \| tree
2022-01-28	Santiago Pastorino	Add comment on stable_hash_impl for OwnerNodes	commit \| commitdiff \| tree
2022-01-28	Santiago Pastorino	Make local_def_id_to_hir_id return MaybeOwner<()>	commit \| commitdiff \| tree
2022-01-28	Santiago Pastorino	Separate hir_owner query into two queries to avoid...	commit \| commitdiff \| tree
2022-01-26	Santiago Pastorino	Filter out local_id == 0, those are already considered...	commit \| commitdiff \| tree
2022-01-23	Santiago Pastorino	FIXME include regions too	commit \| commitdiff \| tree
2022-01-23	Santiago Pastorino	Rename strict_check to negative_impl_exists	commit \| commitdiff \| tree
2022-01-23	Santiago Pastorino	Document OverlapMode	commit \| commitdiff \| tree
2022-01-22	Santiago Pastorino	Restructure the code leveraging in abilities more than...	commit \| commitdiff \| tree
2022-01-21	Santiago Pastorino	Remove intermediate function doesn't make more sense	commit \| commitdiff \| tree
2022-01-21	Santiago Pastorino	Make strict_disjoint use explicit_disjoint	commit \| commitdiff \| tree
2022-01-21	Santiago Pastorino	Do not pass OverlapMode down, just create a closure...	commit \| commitdiff \| tree
2022-01-21	Santiago Pastorino	Implement stable with negative coherence mode	commit \| commitdiff \| tree
2022-01-21	Santiago Pastorino	Add overlap mode	commit \| commitdiff \| tree
2022-01-21	Santiago Pastorino	Extract stable_disjoint fn	commit \| commitdiff \| tree
2022-01-21	Santiago Pastorino	Move auxiliary fns out of overlap_with_probe	commit \| commitdiff \| tree
2022-01-21	Santiago Pastorino	Use impl1 and impl2 instead of a and b prefixes	commit \| commitdiff \| tree
2021-12-03	Santiago Pastorino	Revert "Auto merge of #91354 - fee1-dead:const_env...	commit \| commitdiff \| tree
2021-12-03	Santiago Pastorino	Revert "Auto merge of #91354 - fee1-dead:const_env...	commit \| commitdiff \| tree
2021-10-23	Santiago Pastorino	Avoid code duplication by extracting checks into fns	commit \| commitdiff \| tree
2021-10-22	Santiago Pastorino	Hide negative coherence checks under negative_impls...	commit \| commitdiff \| tree
2021-10-22	Santiago Pastorino	Be sure that we do not allow too much	commit \| commitdiff \| tree
2021-10-22	Santiago Pastorino	Assemple trait alias candidates for negative polarity	commit \| commitdiff \| tree
2021-10-22	Santiago Pastorino	Add rustc_strict_coherence attribute and use it to...	commit \| commitdiff \| tree
2021-10-22	Santiago Pastorino	Add comment about the only way to prove NotImplemented...	commit \| commitdiff \| tree
2021-10-22	Santiago Pastorino	Fix filter_impls comment	commit \| commitdiff \| tree
2021-10-22	Santiago Pastorino	Fix debug method name	commit \| commitdiff \| tree
2021-10-22	Santiago Pastorino	Move const filter to filter_impls	commit \| commitdiff \| tree
2021-10-22	Santiago Pastorino	Document flip polarity	commit \| commitdiff \| tree
2021-10-22	Santiago Pastorino	Document overlap check filter	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Fix allow_negative_impls logic	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Add TraitObligation::polarity() for better encapsulation	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Filter candidates when goal and impl polarity doesn...	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Use predicate_must_hold_modulo_regions	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Filter out Negative impls on intercrate mode's ambiguous...	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Make EvaluationCache consider polarity as cache's key	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Only assemble_candidates_from_impls for polarity Negative	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Test that if we promise to not impl what would overlap...	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Consider negative polarity on trait selection	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Consider negative polarity on overlap check	commit \| commitdiff \| tree
2021-10-20	Santiago Pastorino	Add polarity to TraitPredicate	commit \| commitdiff \| tree
2021-08-28	Santiago Pastorino	Add weird return types TAIT test	commit \| commitdiff \| tree
2021-08-28	Santiago Pastorino	Add auto trait leakage TAIT test that should work but...	commit \| commitdiff \| tree
2021-08-28	Santiago Pastorino	Add auto trait that shouldn't leak TAIT test	commit \| commitdiff \| tree
2021-08-28	Santiago Pastorino	Add auto trait leakage TAIT test	commit \| commitdiff \| tree
2021-08-27	Santiago Pastorino	Add inference cycle TAIT test	commit \| commitdiff \| tree
2021-08-27	Santiago Pastorino	Add nested TAIT inference test that fails	commit \| commitdiff \| tree
2021-08-27	Santiago Pastorino	Add nested TAIT inference test	commit \| commitdiff \| tree
2021-08-26	Santiago Pastorino	Add argument types tait tests	commit \| commitdiff \| tree
2021-08-25	Santiago Pastorino	Add const and static TAIT tests	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom