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

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

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
2021-06-08	Santiago Pastorino	Simplify code by using VecMap::get_by	commit \| commitdiff \| tree
2021-06-08	Santiago Pastorino	Add VecMap::get_by(FnMut -> bool)	commit \| commitdiff \| tree
2021-06-07	Santiago Pastorino	Add more TAIT multiple defining uses test cases	commit \| commitdiff \| tree
2021-06-07	Santiago Pastorino	Differentiate different defining uses of taits when...	commit \| commitdiff \| tree
2021-06-07	Santiago Pastorino	Remove substs from OpaqueTypeDecl, use the one in OpaqueTypeKey	commit \| commitdiff \| tree
2021-06-07	Santiago Pastorino	Use substs from opaque type key instead of using it...	commit \| commitdiff \| tree
2021-06-07	Santiago Pastorino	Make opaque type map key be of type OpaqueTypeKey	commit \| commitdiff \| tree
2021-06-07	Santiago Pastorino	Remove ResolvedOpaqueTy and just use Ty, SubstsRef...	commit \| commitdiff \| tree
2021-06-07	Santiago Pastorino	Make OpaqueTypeKey the key of opaque types map	commit \| commitdiff \| tree
2021-06-07	Santiago Pastorino	Change concrete opaque type to be a `VecMap`	commit \| commitdiff \| tree
2021-06-07	Santiago Pastorino	Change opaque type map to be a `VecMap`	commit \| commitdiff \| tree
2021-06-07	Santiago Pastorino	Add VecMap to rustc_data_structures	commit \| commitdiff \| tree
2021-04-23	Santiago Pastorino	Add pub_macro_rules to the list of removed features	commit \| commitdiff \| tree
2021-04-23	Santiago Pastorino	Revert "Rollup merge of #82296 - spastorino:pubrules...	commit \| commitdiff \| tree
2021-03-18	Santiago Pastorino	Mark early otherwise optimization unsound	commit \| commitdiff \| tree
2021-03-05	Santiago Pastorino	bless mir-inlining warning message	commit \| commitdiff \| tree
2021-03-05	Santiago Pastorino	Fix MIR optimization level description	commit \| commitdiff \| tree
2021-03-05	Santiago Pastorino	Bump one missing mir_opt_level	commit \| commitdiff \| tree
2021-03-05	Santiago Pastorino	Fix rustc_driver self text and bump the mir_opt_level	commit \| commitdiff \| tree
2021-03-05	Santiago Pastorino	Make clippy set mir_opt_level using Option	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom