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

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

2023-02-08	Michael Goulet	Do not eagerly recover for bad impl-trait in macros	commit \| commitdiff \| tree
2023-02-03	Michael Goulet	Make const/fn return params more suggestable	commit \| commitdiff \| tree
2023-02-03	Michael Goulet	intern external constraints	commit \| commitdiff \| tree
2023-02-02	Michael Goulet	Recover _ as .. in field pattern	commit \| commitdiff \| tree
2023-02-02	Michael Goulet	Add a test	commit \| commitdiff \| tree
2023-02-02	Michael Goulet	Revert "Teach parser to understand fake anonymous enum...	commit \| commitdiff \| tree
2023-02-02	Michael Goulet	Don't cause a cycle when formatting query description...	commit \| commitdiff \| tree
2023-02-01	Michael Goulet	Revert "switch to the macos-12-xl builder"	commit \| commitdiff \| tree
2023-02-01	Michael Goulet	Erase regions before uninhabited check	commit \| commitdiff \| tree
2023-01-31	Michael Goulet	Do not depend on Generator trait when deducing closure...	commit \| commitdiff \| tree
2023-01-30	Michael Goulet	Track bound types like bound regions	commit \| commitdiff \| tree
2023-01-30	Michael Goulet	nits	commit \| commitdiff \| tree
2023-01-30	Michael Goulet	Trait upcasting support in new solver	commit \| commitdiff \| tree
2023-01-30	Michael Goulet	Implement unsizing in the new trait solver	commit \| commitdiff \| tree
2023-01-30	Michael Goulet	Use ObligationCtxt::new_in_snapshot in satisfied_from_param_env	commit \| commitdiff \| tree
2023-01-28	Michael Goulet	Make unsizing_params_for_adt into a query	commit \| commitdiff \| tree
2023-01-27	Michael Goulet	Micro-optimization in consider_assumption	commit \| commitdiff \| tree
2023-01-27	Michael Goulet	Add some comments	commit \| commitdiff \| tree
2023-01-27	Michael Goulet	No need to probe when computing goals	commit \| commitdiff \| tree
2023-01-27	Michael Goulet	Use now solver in evaluate_obligation	commit \| commitdiff \| tree
2023-01-26	Michael Goulet	Make make_identity take CanonicalVarInfos	commit \| commitdiff \| tree
2023-01-26	Michael Goulet	Intern CanonicalVarValues	commit \| commitdiff \| tree
2023-01-26	Michael Goulet	Use new solver during selection	commit \| commitdiff \| tree
2023-01-26	Michael Goulet	ICE in new solver if we see an inference variable	commit \| commitdiff \| tree
2023-01-26	Michael Goulet	Implement Generator and Future	commit \| commitdiff \| tree
2023-01-26	Michael Goulet	Report the right fulfillment errors	commit \| commitdiff \| tree
2023-01-25	Michael Goulet	Don't normalize obligations in WF goal for the new...	commit \| commitdiff \| tree
2023-01-25	Michael Goulet	Implement ObjectSafe and WF in the new solver	commit \| commitdiff \| tree
2023-01-25	Michael Goulet	Suggest mutable borrows correctly	commit \| commitdiff \| tree
2023-01-25	Michael Goulet	Liberate late-bound regions correctly	commit \| commitdiff \| tree
2023-01-23	Michael Goulet	Hack to suppress bad labels in type mismatch inference...	commit \| commitdiff \| tree
2023-01-23	Michael Goulet	Don't resolve type var roots in point_at_expr_source_of_infe...	commit \| commitdiff \| tree
2023-01-23	Michael Goulet	Use proper InferCtxt when probing for associated types...	commit \| commitdiff \| tree
2023-01-22	Michael Goulet	Remove confusing 'while checking' note from opaque...	commit \| commitdiff \| tree
2023-01-21	Michael Goulet	Address goal nits	commit \| commitdiff \| tree
2023-01-21	Michael Goulet	Implement some more predicates	commit \| commitdiff \| tree
2023-01-21	Michael Goulet	Add compare-mode-next-solver	commit \| commitdiff \| tree
2023-01-21	Michael Goulet	Label closure captures/generator locals that make opaque...	commit \| commitdiff \| tree
2023-01-20	Michael Goulet	Filter predicates first for fast-path type flags	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	Make bare known-bug an error	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	Fix known-bug, silence ICE stderr	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	trait solver: Implement Fn traits and tuple trait	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	trait solver: PointerSized	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	swap Ambiguity and Unimplemented in new trait engine	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	Assert goal is fully normalized during assemble	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	Conditionally encode boolean	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	Add test	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	Encode whether foreign opaques are TAITs or not	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	HACK: self ty ambiguity hack	commit \| commitdiff \| tree
2023-01-19	Michael Goulet	Fix IndexVec::drain_enumerated	commit \| commitdiff \| tree
2023-01-18	Michael Goulet	Handle structural traits more gracefully	commit \| commitdiff \| tree
2023-01-18	Michael Goulet	no subtyping in the new trait solver	commit \| commitdiff \| tree
2023-01-18	Michael Goulet	Sized, Copy/Clone	commit \| commitdiff \| tree
2023-01-18	Michael Goulet	Auto and alias traits	commit \| commitdiff \| tree
2023-01-18	Michael Goulet	Assemble object bound candidates	commit \| commitdiff \| tree
2023-01-18	Michael Goulet	implement consider_assumption	commit \| commitdiff \| tree
2023-01-18	Michael Goulet	Canonicalize trait solver response inside probe	commit \| commitdiff \| tree
2023-01-17	Michael Goulet	new trait solver: only consider goal changed if response...	commit \| commitdiff \| tree
2023-01-17	Michael Goulet	note -> help	commit \| commitdiff \| tree
2023-01-17	Michael Goulet	Fix use suggestion span	commit \| commitdiff \| tree
2023-01-16	Michael Goulet	Use scope_expr_id from ProbeCtxt	commit \| commitdiff \| tree
2023-01-16	Michael Goulet	Properly pluralize 'generic constants'	commit \| commitdiff \| tree
2023-01-16	Michael Goulet	ConstBlocks are poly if their substs are poly	commit \| commitdiff \| tree
2023-01-16	Michael Goulet	Encode const mir for closures if they're const	commit \| commitdiff \| tree
2023-01-15	Michael Goulet	Only suggest adding type param if path being resolved...	commit \| commitdiff \| tree
2023-01-15	Michael Goulet	Remove bound_{explicit,}_item_bounds	commit \| commitdiff \| tree
2023-01-15	Michael Goulet	drive-by: assert when iterating through InstantiatedPredicates	commit \| commitdiff \| tree
2023-01-15	Michael Goulet	Make InstantiatedPredicates impl IntoIterator	commit \| commitdiff \| tree
2023-01-15	Michael Goulet	instantiate_own doesn't need to return a pair of vectors	commit \| commitdiff \| tree
2023-01-14	Michael Goulet	new trait solver: rebase impl substs for gats correctly	commit \| commitdiff \| tree
2023-01-13	Michael Goulet	Unify Opaque/Projection handling in region outlives...	commit \| commitdiff \| tree
2023-01-13	Michael Goulet	Delay normalization bugs instead of reporting them	commit \| commitdiff \| tree
2023-01-13	Michael Goulet	Check ADT fields for copy implementations considering...	commit \| commitdiff \| tree
2023-01-13	Michael Goulet	Rebase and move UI tests	commit \| commitdiff \| tree
2023-01-13	Michael Goulet	Suggest lifetime bound in illegal Copy impl	commit \| commitdiff \| tree
2023-01-13	Michael Goulet	copy self type is implied wf	commit \| commitdiff \| tree
2023-01-13	Michael Goulet	Check ADT fields for copy implementations considering...	commit \| commitdiff \| tree
2023-01-13	Michael Goulet	Rebase conflicts	commit \| commitdiff \| tree
2023-01-13	Michael Goulet	Consolidate two almost duplicated fn info extraction...	commit \| commitdiff \| tree
2023-01-13	Michael Goulet	Add logic to make IMPLIED_BOUNDS_ENTAILMENT easier...	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	is_ty_infer -> is_ty_or_numeric_infer	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	Only point at impl self ty in WF if trait predicate...	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	Don't suggest dyn as parameter to add	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	Don't suggest dyn as parameter to add	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	Render missing generics suggestion verbosely	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	HACK: Handle escaping bound vars from the canonical...	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	Implement dummy query responses and a jank instantiate	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	Bump IMPLIED_BOUNDS_ENTAILMENT to Deny + ReportNow	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	Point at impl self type for impl wf obligations	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	Point at HIR types when impl trait ref doesn't normalize	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	Revert "Make nested RPITIT inherit the parent opaque...	commit \| commitdiff \| tree
2023-01-12	Michael Goulet	RPITITs are not suggestable	commit \| commitdiff \| tree
2023-01-11	Michael Goulet	Move autoderef to rustc_hir_analysis	commit \| commitdiff \| tree
2023-01-11	Michael Goulet	Filter impl and where-clause candidates that reference...	commit \| commitdiff \| tree
2023-01-11	Michael Goulet	Reuse ErrorGuaranteed during relation	commit \| commitdiff \| tree
2023-01-11	Michael Goulet	Handle inference variables in CollectAllMismatches...	commit \| commitdiff \| tree
2023-01-11	Michael Goulet	label where constructor is defined and note that it...	commit \| commitdiff \| tree
2023-01-11	Michael Goulet	Be more specific about constructor `FnDef`s in type...	commit \| commitdiff \| tree
2023-01-11	Michael Goulet	Allow codegen to unsize dyn* to dyn	commit \| commitdiff \| tree
2023-01-11	Michael Goulet	Note predicate span on ImplDerivedObligation	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom