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

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

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	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-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	lcnr	add some more tests	commit \| commitdiff \| tree
2022-11-10	lcnr	make `Sized` coinductive	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	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	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
2022-11-03	Michael Goulet	reverse obligations for better diagnostics on multiple...	commit \| commitdiff \| tree
2022-11-03	Michael Goulet	Elaborate supertrait obligations when deducing closure...	commit \| commitdiff \| tree
2022-11-03	Michael Goulet	Make obligations_for_self_ty only return an obligation	commit \| commitdiff \| tree
2022-11-02	Michael Goulet	Properly render asyncness for traits without default...	commit \| commitdiff \| tree
2022-11-02	Michael Goulet	Remove has_errors from FnCtxt	commit \| commitdiff \| tree
2022-11-02	Michael Goulet	Use TraitEngine less	commit \| commitdiff \| tree
2022-11-02	Michael Goulet	Remove some return-type booleans from FnCtxt	commit \| commitdiff \| tree
2022-11-02	Michael Goulet	Use ObligationCtxt in fully_normalize	commit \| commitdiff \| tree
2022-11-02	Michael Goulet	Use codegen_select in vtable_trait_upcasting_coercion_new_vp...	commit \| commitdiff \| tree
2022-11-01	Michael Goulet	Don't remap early-bound RPITIT regions that originate...	commit \| commitdiff \| tree
2022-11-01	Michael Goulet	Format dyn Trait better in type_name intrinsic	commit \| commitdiff \| tree
2022-11-01	Michael Goulet	Fix ICE in default impl error reporting	commit \| commitdiff \| tree
2022-11-01	Michael Goulet	Remap RPITIT substs properly	commit \| commitdiff \| tree
2022-11-01	Michael Goulet	Check for substs compatibility for RPITITs	commit \| commitdiff \| tree
2022-10-31	Michael Goulet	Add bug! back to late_bound_vars query	commit \| commitdiff \| tree
2022-10-31	Michael Goulet	Make external/local late-bound region registration...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom