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

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

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	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
2021-08-25	Santiago Pastorino	Add field types tait tests	commit \| commitdiff \| tree
2021-08-25	Santiago Pastorino	Revert "Add type of a let tait test impl trait straight...	commit \| commitdiff \| tree
2021-08-25	Santiago Pastorino	Add type of a let tait test impl trait straight in let	commit \| commitdiff \| tree
2021-08-25	Santiago Pastorino	Add type of a let tait test	commit \| commitdiff \| tree
2021-08-22	Santiago Pastorino	Test TAITs different lifetimes in defining uses fail	commit \| commitdiff \| tree
2021-08-21	Santiago Pastorino	Test that incomplete inference for TAITs fail	commit \| commitdiff \| tree
2021-08-21	Santiago Pastorino	Test use of impl Trait in an impl as the value for...	commit \| commitdiff \| tree
2021-08-20	Santiago Pastorino	Test tait use in a fn type	commit \| commitdiff \| tree
2021-08-20	Santiago Pastorino	Use of impl trait in an impl as the valoe for an associated...	commit \| commitdiff \| tree
2021-08-20	Santiago Pastorino	Add TAIT struct test	commit \| commitdiff \| tree
2021-08-20	Santiago Pastorino	test TAIT in different positions	commit \| commitdiff \| tree
2021-08-20	Santiago Pastorino	We meant to use a trait instead of lifetime here	commit \| commitdiff \| tree
2021-08-19	Santiago Pastorino	Test that type alias impl trait happens in a submodule	commit \| commitdiff \| tree
2021-08-19	Santiago Pastorino	Use a trait instead of the now disallowed missing trait...	commit \| commitdiff \| tree
2021-08-18	Santiago Pastorino	Move private_unused.rs test to impl-trait	commit \| commitdiff \| tree
2021-08-11	Santiago Pastorino	Make concrete_opaque_types be FxHashSet<DefId>	commit \| commitdiff \| tree
2021-07-28	Santiago Pastorino	min_type_alias_impl_trait is going to be removed in...	commit \| commitdiff \| tree
2021-07-27	Santiago Pastorino	Remove min_tait and full_tait stderr dangling files	commit \| commitdiff \| tree
2021-07-27	Santiago Pastorino	Bless nll tests	commit \| commitdiff \| tree
2021-07-27	Santiago Pastorino	Remove min_type_alias_impl_trait feature	commit \| commitdiff \| tree
2021-07-27	Santiago Pastorino	existential_type was removed in favor of type_alias_impl_trait	commit \| commitdiff \| tree
2021-07-27	Santiago Pastorino	Make all tests use type_alias_impl_trait feature instead...	commit \| commitdiff \| tree
2021-07-27	Santiago Pastorino	Use type_alias_impl_trait instead of min in compiler...	commit \| commitdiff \| tree
2021-07-23	Santiago Pastorino	Add ConstraintLocator docs	commit \| commitdiff \| tree
2021-07-23	Santiago Pastorino	Add VecMap::get_value_matching and assert if > 1 element	commit \| commitdiff \| tree
2021-07-20	Santiago Pastorino	Update MIRI	commit \| commitdiff \| tree
2021-07-19	Santiago Pastorino	Improve impl trait disallowed context error text	commit \| commitdiff \| tree
2021-07-19	Santiago Pastorino	Improve impl_trait_in_bindings removed feature text	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Remove impl_trait_in_bindings feature flag	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Move mir_def_id inside `eq_opaque_type_and_type`	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Remove `sub_types_or_anon`	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Add `sub_types` docs	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Revert "structural_match: non-structural-match ty closures"	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Remove origin field from TypeAliasesOpaqueTy	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Use == to compare OpaqueTyOrigin values	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Remove OpaqueTyOrigin::Misc, use TyAlias instead	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Removing unhandled region constraint error that is...	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Remove impl_trait_in_bindings handling on inference...	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Remove impl trait bindings handling on const AST lowering	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Remove impl traits bindings error message handling...	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Fix TypeAliasesOpaqueTy origin docs	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Rename OtherOpaqueTy to TypeAliasesOpaqueTy	commit \| commitdiff \| tree
2021-07-18	Santiago Pastorino	Remove OpaqueTyOrigin::Binding	commit \| commitdiff \| tree
2021-06-08	Santiago Pastorino	add VecMap docs	commit \| commitdiff \| tree
2021-06-08	Santiago Pastorino	Use impl FnMut directly as predicate type	commit \| commitdiff \| tree
2021-06-08	Santiago Pastorino	Explicitly pass find arguments down the predicate so...	commit \| commitdiff \| tree
2021-06-08	Santiago Pastorino	Do not deconstruct OpaqueTypeKey to make the code more...	commit \| commitdiff \| tree
2021-06-08	Santiago Pastorino	defin_ty_def_id -> definition_ty_def_id	commit \| commitdiff \| tree
2021-06-08	Santiago Pastorino	Destructure OpaqueTypeKey in certain cases to simplify...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom