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

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

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	Make normalize and normalize_to pub(crate)	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	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
2022-11-13	Michael Goulet	Make rustc build with new chalk	commit \| commitdiff \| tree
2022-11-13	Michael Goulet	Bump chalk to v0.87	commit \| commitdiff \| tree
2022-11-11	Michael Goulet	UI tests can be assigned to T-compiler	commit \| commitdiff \| tree
2022-11-11	Michael Goulet	Don't ICE with inline const errors during MIR build	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Regression test for coercion of mut-ref to dyn-star	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Unbreak upcasting	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Don't CoerceUnsized dyn* to dyn*	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Don't allow implement CoerceUnsized into dyn-star	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	More nits	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	bless tests	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Deduce closure signature from TAIT supertraits	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	More accurately report error when formal and expected...	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Don't emit coerce suggestions for a type into itself	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Support DoubleEndedIterator for subst_iter and subst_iter_copied	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Rollup merge of #104231 - ibraheemdev:patch-12, r=compiler...	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Rollup merge of #104211 - lnicola:rust-analyzer-2022...	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Rollup merge of #104201 - GuillaumeGomez:gui-test-check...	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Rollup merge of #104190 - Nilstrieb:patch-1, r=compiler...	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Rollup merge of #104115 - GuillaumeGomez:migrate-crate...	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Rollup merge of #104046 - RalfJung:run-miri-run, r...	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Rollup merge of #103675 - lyming2007:issue-103271-fix...	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Rollup merge of #103443 - mucinoab:recover-colon-as...	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Rollup merge of #102763 - compiler-errors:nits, r=cjgillot	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Don't print full paths in overlap errors	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Use const_error_with_guaranteed more	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Don't ICE when encountering ConstKind::Error in RequiredCons...	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	bless a chalk test	commit \| commitdiff \| tree
2022-11-10	Michael Goulet	Use TraitEngine in more places, make FulfillmentCtxt...	commit \| commitdiff \| tree
2022-11-09	Michael Goulet	make dropck_outlives into a proper canonicalized type...	commit \| commitdiff \| tree
2022-11-09	Michael Goulet	Remove save_and_restore_in_snapshot_flag	commit \| commitdiff \| tree
2022-11-09	Michael Goulet	Suggest is_some or let when encountering Option and...	commit \| commitdiff \| tree
2022-11-09	Michael Goulet	rebase conflict	commit \| commitdiff \| tree
2022-11-09	Michael Goulet	Make span_suggestions take IntoIterator	commit \| commitdiff \| tree
2022-11-09	Michael Goulet	DiagnosticBuilder -> Diagnostic	commit \| commitdiff \| tree
2022-11-09	Michael Goulet	Use ObligationCtxt in expected_inputs_for_expected_outputs	commit \| commitdiff \| tree
2022-11-07	Michael Goulet	Don't normalize constants unless they need normalization	commit \| commitdiff \| tree
2022-11-06	Michael Goulet	Move fallback_has_occurred to FnCtxt	commit \| commitdiff \| tree
2022-11-06	Michael Goulet	Fix typo	commit \| commitdiff \| tree
2022-11-06	Michael Goulet	Normalize signature when deducing closure signature...	commit \| commitdiff \| tree
2022-11-05	Michael Goulet	Bless more tests	commit \| commitdiff \| tree
2022-11-05	Michael Goulet	Merge conflicts and rebase onto master	commit \| commitdiff \| tree
2022-11-05	Michael Goulet	Bless chalk tests	commit \| commitdiff \| tree
2022-11-05	Michael Goulet	Adjust diagnostics, bless tests	commit \| commitdiff \| tree
2022-11-05	Michael Goulet	Enforce rust-check ABI in signatures, calls	commit \| commitdiff \| tree
2022-11-05	Michael Goulet	Enforce Tuple trait on Fn traits	commit \| commitdiff \| tree
2022-11-04	Michael Goulet	Don't silently eat label before block in block-like...	commit \| commitdiff \| tree
2022-11-04	Michael Goulet	Remove in_tail_expr from FnCtxt	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom