summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2024-11-20Rip out built-in PointerLike implMichael Goulet-31/+0
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-5/+9
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-11/+12
2024-11-06Auto merge of #132625 - compiler-errors:cache-only-if-opaque, r=lcnrbors-6/+18
2024-11-05Only disable cache if predicate has opaques within itMichael Goulet-6/+18
2024-11-05Auto merge of #132580 - compiler-errors:globs, r=Noratriebbors-9/+11
2024-11-04Rollup merge of #132486 - compiler-errors:no-binder, r=lcnrMatthias Krüger-9/+3
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-6/+8
2024-11-04Remove the trivial constkind importsMichael Goulet-3/+3
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-2/+0
2024-11-02No need to instantiate binder in confirm_async_closure_candidateMichael Goulet-9/+3
2024-10-29TypingMode :thinking:lcnr-65/+39
2024-10-28Hack out effects support for old solverMichael Goulet-6/+14
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-2/+2
2024-10-24Auto merge of #131985 - compiler-errors:const-pred, r=fee1-deadbors-3/+9
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+7
2024-10-24Remove associated type based effects logicMichael Goulet-3/+2
2024-10-24Consider param-env candidates even if they have errorsMichael Goulet-1/+0
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-6/+6
2024-10-21Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgrbors-301/+17
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-301/+17
2024-10-19Fix transmute goalMichael Goulet-5/+8
2024-10-17Allow dropping dyn principalMichael Goulet-1/+5
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-43/+48
2024-10-10Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatchLeón Orell Valerian Liehr-1/+1
2024-09-28Rollup merge of #130866 - compiler-errors:dyn-instantiate-binder, r=lcnrMatthias Krüger-20/+73
2024-09-27Get rid of a_is_expected from ToTraceMichael Goulet-3/+0
2024-09-27Instantiate binders when checking supertrait upcastingMichael Goulet-20/+76
2024-09-26Check allow instantiating object trait binder when upcasting and in new solverMichael Goulet-3/+3
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-8/+8
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-70/+50
2024-09-11Also fix if in elseMichael Goulet-6/+4
2024-09-11Simplify some nested if statementsMichael Goulet-24/+19
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-3/+9
2024-09-03Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgaubors-3/+3
2024-09-03Add `warn(unreachable_pub)` to `rustc_trait_selection`.Nicholas Nethercote-3/+3
2024-09-02Rollup merge of #129878 - Sajjon:sajjon_fix_typos_batch_3, r=jieyouxuMatthias Krüger-1/+1
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-3/+9
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-1/+1
2024-09-01Revert "Auto merge of #127537 - veluca93:struct_tf, r=BoxyUwU"Jakub Beránek-2/+0
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-0/+3
2024-08-31Rollup merge of #129725 - compiler-errors:predicates-of, r=fmeaseMatthias Krüger-7/+5
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+3
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-7/+5
2024-08-28Implement RFC 3525.Luca Versari-0/+2
2024-08-18safe transmute: forbid reference lifetime extensionJack Wrenn-73/+103
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-12/+12
2024-08-10Auto merge of #128746 - compiler-errors:cache-super-outlives, r=lcnrbors-26/+16
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-12/+12
2024-08-08Don't implement AsyncFn for FnDef/FnPtr that wouldnt implement FnMichael Goulet-2/+14