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

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

2022-12-13	Michael Goulet	Address a few more nits	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	Address nits	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	Remove chalk lowering for AliasTy	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	nit: docs	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	Combine OfOpaque and OfProjection	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	Combine identical alias arms	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	Combine projection and opaque into alias	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	squash OpaqueTy and ProjectionTy into AliasTy	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	ProjectionTy.item_def_id -> ProjectionTy.def_id	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	Use ty::OpaqueTy everywhere	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	make Opaque have one field: OpaqueTy	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	Move some codegen-y methods from rustc_hir_analysis...	commit \| commitdiff \| tree
2022-12-13	Michael Goulet	Fast path some binder relations	commit \| commitdiff \| tree
2022-12-11	Michael Goulet	bug! with a better error message for failing Instance...	commit \| commitdiff \| tree
2022-12-11	Michael Goulet	Provide associated type information in method chains	commit \| commitdiff \| tree
2022-12-10	Michael Goulet	Some method confirmation code nits	commit \| commitdiff \| tree
2022-12-08	Michael Goulet	Move some suggestions from error_reporting to error_reportin...	commit \| commitdiff \| tree
2022-12-08	Michael Goulet	Move codegen_select_candidate to a rustc_traits	commit \| commitdiff \| tree
2022-12-08	Michael Goulet	Move vtable methods into its own module	commit \| commitdiff \| tree
2022-12-08	Michael Goulet	Move has_structural_eq_impls provider to rustc_ty_utils	commit \| commitdiff \| tree
2022-12-08	Michael Goulet	Pull out logic into distinct functions	commit \| commitdiff \| tree
2022-12-07	Michael Goulet	Properly print generator interior type sizes	commit \| commitdiff \| tree
2022-12-07	Michael Goulet	Move closure/generator type info methods to TyCtxt	commit \| commitdiff \| tree
2022-12-07	Michael Goulet	Compute generator sizes with -Zprint_type_sizes	commit \| commitdiff \| tree
2022-12-06	Michael Goulet	Point at args in associated const fn pointers	commit \| commitdiff \| tree
2022-12-06	Michael Goulet	Add GenericParamDef::to_error and InternalSubsts::extend_wit...	commit \| commitdiff \| tree
2022-12-06	Michael Goulet	Avoid noting cause code (which is usually misc, b/c...	commit \| commitdiff \| tree
2022-12-06	Michael Goulet	drive-by: Default param for ToPredicate	commit \| commitdiff \| tree
2022-12-05	Michael Goulet	Point at GAT where clause when unsatisfied	commit \| commitdiff \| tree
2022-12-05	Michael Goulet	Make get_impl_future_output_ty work with AFIT	commit \| commitdiff \| tree
2022-12-05	Michael Goulet	Be more careful about unresolved exprs in suggestion	commit \| commitdiff \| tree
2022-12-05	Michael Goulet	Synthesize generics for bad auto traits in dyn types	commit \| commitdiff \| tree
2022-12-05	Michael Goulet	Don't call diagnostic_hir_wf_check query if we have...	commit \| commitdiff \| tree
2022-12-05	Michael Goulet	Unconditional check FRU expression, even if there are...	commit \| commitdiff \| tree
2022-12-04	Michael Goulet	Avoid InferCtxt::build in generic_arg_mismatch_err	commit \| commitdiff \| tree
2022-12-04	Michael Goulet	Avoid InferCtxt::build in report_similar_impl_candidates	commit \| commitdiff \| tree
2022-12-04	Michael Goulet	Don't ICE in ExprUseVisitor on FRU for non-existent...	commit \| commitdiff \| tree
2022-12-04	Michael Goulet	drive-by: move field_index to typeck results	commit \| commitdiff \| tree
2022-12-02	Michael Goulet	Don't elide information when printing E0308 with Zverbose	commit \| commitdiff \| tree
2022-12-02	Michael Goulet	Move normalize_fn_sig to TypeErrCtxt	commit \| commitdiff \| tree
2022-12-02	Michael Goulet	Revert 88f2140	commit \| commitdiff \| tree
2022-12-02	Michael Goulet	Properly synthesize fn sig value during cycle	commit \| commitdiff \| tree
2022-12-02	Michael Goulet	Avoid InferCtxt::build in suggest_missing_break_or_return_expr	commit \| commitdiff \| tree
2022-12-02	Michael Goulet	Check lifetime param count in collect_trait_impl_trait_tys	commit \| commitdiff \| tree
2022-12-01	Michael Goulet	Document normalization methods on At	commit \| commitdiff \| tree
2022-12-01	Michael Goulet	Drive-by: remove unused type alias	commit \| commitdiff \| tree
2022-11-29	Michael Goulet	Explain why rematch_impl fails to be infallible	commit \| commitdiff \| tree
2022-11-28	Michael Goulet	Make ObligationCtxt::normalize take cause by borrow	commit \| commitdiff \| tree
2022-11-28	Michael Goulet	FnCtxt normalization stuff	commit \| commitdiff \| tree
2022-11-28	Michael Goulet	Make normalize and normalize_to pub(crate)	commit \| commitdiff \| tree
2022-11-28	Michael Goulet	partially_normalize_... -> At::normalize	commit \| commitdiff \| tree
2022-11-28	Michael Goulet	Simplify more FnCtxt normalization	commit \| commitdiff \| tree
2022-11-28	Michael Goulet	FnCtxt normalization stuff	commit \| commitdiff \| tree
2022-11-28	Michael Goulet	partially_normalize_... -> At::normalize	commit \| commitdiff \| tree
2022-11-28	Michael Goulet	Rename At::normalize to At::query_normalize	commit \| commitdiff \| tree
2022-11-26	Michael Goulet	Revert "Do not need to account for overflow in predicate_can...	commit \| commitdiff \| tree
2022-11-26	Michael Goulet	Revert "Drive-by: Don't manually call evaluate_obligation_no...	commit \| commitdiff \| tree
2022-11-26	Michael Goulet	Revert "Add fatal overflow test"	commit \| commitdiff \| tree
2022-11-26	Michael Goulet	Do not record unresolved const vars in generator interior	commit \| commitdiff \| tree
2022-11-26	Michael Goulet	Remove unnecessary binder from get_impl_future_output_ty	commit \| commitdiff \| tree
2022-11-26	Michael Goulet	simplify some binder shifting logic	commit \| commitdiff \| tree
2022-11-26	Michael Goulet	Allow non-org members to label `requires-debug-assertions`	commit \| commitdiff \| tree
2022-11-25	Michael Goulet	Remove SelectionContext::infcx() in favor of field...	commit \| commitdiff \| tree
2022-11-25	Michael Goulet	Rename normalize_opaque_types to reveal_opaque_types_in_bounds	commit \| commitdiff \| tree
2022-11-24	Michael Goulet	Remove comment, simplify since we asserted fn ptr Self...	commit \| commitdiff \| tree
2022-11-24	Michael Goulet	Also check that fn pointer candidates don't have escaping...	commit \| commitdiff \| tree
2022-11-24	Michael Goulet	Assert that we don't capture escaping bound vars in...	commit \| commitdiff \| tree
2022-11-24	Michael Goulet	Adjust tests	commit \| commitdiff \| tree
2022-11-24	Michael Goulet	Properly handle `Pin<&mut dyn* Trait>` receiver in...	commit \| commitdiff \| tree
2022-11-24	Michael Goulet	Disable dyn* upcasting	commit \| commitdiff \| tree
2022-11-23	Michael Goulet	Add fatal overflow test	commit \| commitdiff \| tree
2022-11-23	Michael Goulet	Drive-by: Don't manually call evaluate_obligation_no_overflow	commit \| commitdiff \| tree
2022-11-23	Michael Goulet	Do not need to account for overflow in predicate_can_apply	commit \| commitdiff \| tree
2022-11-23	Michael Goulet	Pass ParamEnv down instead of using ParamEnv of a module	commit \| commitdiff \| tree
2022-11-23	Michael Goulet	Pass InferCtxt to DropRangeVisitor so we can resolve...	commit \| commitdiff \| tree
2022-11-22	Michael Goulet	Add size hints to early binder iterator adapters	commit \| commitdiff \| tree
2022-11-22	Michael Goulet	Remove a hack from compare_predicate_entailment	commit \| commitdiff \| tree
2022-11-22	Michael Goulet	Delay bug to deduplicate diagnostics	commit \| commitdiff \| tree
2022-11-22	Michael Goulet	drive-by: style nits	commit \| commitdiff \| tree
2022-11-22	Michael Goulet	Check generics parity between impl and trait before...	commit \| commitdiff \| tree
2022-11-19	Michael Goulet	Probe + better error messsage for need_migrate_deref_output_...	commit \| commitdiff \| tree
2022-11-19	Michael Goulet	drive-by: PolyExistentialPredicate	commit \| commitdiff \| tree
2022-11-19	Michael Goulet	drive-by: PolyExistentialPredicate	commit \| commitdiff \| tree
2022-11-19	Michael Goulet	Improve spans for RPITIT object-safety errors	commit \| commitdiff \| tree
2022-11-19	Michael Goulet	drive-by: Add is_async fn to hir::IsAsync	commit \| commitdiff \| tree
2022-11-19	Michael Goulet	drive-by: Add is_async fn to hir::IsAsync	commit \| commitdiff \| tree
2022-11-18	Michael Goulet	Only enforce ABI-mandated align, not preferred align...	commit \| commitdiff \| tree
2022-11-18	Michael Goulet	Check both align and size in PointerSized	commit \| commitdiff \| tree
2022-11-18	Michael Goulet	Enforce that dyn* casts are actually pointer-sized	commit \| commitdiff \| tree
2022-11-18	Michael Goulet	Delete miri test	commit \| commitdiff \| tree
2022-11-18	Michael Goulet	Add test	commit \| commitdiff \| tree
2022-11-18	Michael Goulet	Revert "Normalize opaques with escaping bound vars"	commit \| commitdiff \| tree
2022-11-18	Michael Goulet	Add a detailed note for missing comma in FRU syntax...	commit \| commitdiff \| tree
2022-11-16	Michael Goulet	Check `dyn*` return type correctly	commit \| commitdiff \| tree
2022-11-15	Michael Goulet	Normalize types before looking for opaques	commit \| commitdiff \| tree
2022-11-14	Michael Goulet	Add regression test	commit \| commitdiff \| tree
2022-11-14	Michael Goulet	Do autoderef to match impl against rcvr	commit \| commitdiff \| tree
2022-11-14	Michael Goulet	Move logic into method	commit \| commitdiff \| tree
2022-11-14	Michael Goulet	Drive-by: actual -> rcvr_ty	commit \| commitdiff \| tree
2022-11-14	Michael Goulet	Add rustc_deny_explicit_impl	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom