about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-11-04Remove the trivial constkind importsMichael Goulet-6/+6
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-3/+1
2024-11-02compiler: Replace rustc_target with _abi in _trait_selectionJubilee Young-1/+1
2024-11-02No need to instantiate binder in confirm_async_closure_candidateMichael Goulet-9/+3
2024-10-31normalization folders, yeet `ParamEnv::reveal`lcnr-24/+31
2024-10-31traits::project: yeet `ParamEnv::reveal`lcnr-13/+16
2024-10-30Rollup merge of #132344 - compiler-errors:same-thing, r=lcnrJubilee-2/+3
2024-10-30Rollup merge of #132246 - workingjubilee:campaign-on-irform, r=compiler-errorsJubilee-5/+5
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-2/+3
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-5/+5
2024-10-29rebaselcnr-2/+3
2024-10-29TypingMode :thinking:lcnr-126/+92
2024-10-28Hack out effects support for old solverMichael Goulet-8/+196
2024-10-27Remove ObligationCause::span() methodMichael Goulet-3/+3
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-7/+30
2024-10-24Implement const effect predicate in new solverMichael Goulet-3/+28
2024-10-24Remove associated type based effects logicMichael Goulet-4/+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-16/+16
2024-10-21Auto merge of #131840 - compiler-errors:impossible-maybe, r=lcnrbors-12/+14
2024-10-21normalizes-to disable infer var checklcnr-0/+2
2024-10-21Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgrbors-341/+24
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-341/+24
2024-10-19Fix transmute goalMichael Goulet-5/+21
2024-10-19Rename normalize to normalize_internal, remove unnecessary usagesMichael Goulet-3/+3
2024-10-18Rollup merge of #131864 - lrh2000:upcast_reorder, r=WaffleLapkin许杰友 Jieyou Xu (Joe)-6/+5
2024-10-18Never emit `vptr` for empty/auto traitsRuihan Li-6/+5
2024-10-17Allow dropping dyn principalMichael Goulet-1/+5
2024-10-17Dont consider predicates that may hold as impossible in is_impossible_associa...Michael Goulet-12/+14
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-20/+20
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-26/+8
2024-10-17`ImpliedOutlivesBounds` to `rustc_middle`lcnr-17/+6
2024-10-16Auto merge of #131422 - GnomedDev:smallvec-predicate-obligations, r=compiler-...bors-133/+165
2024-10-15Auto merge of #130654 - lcnr:stabilize-coherence-again, r=compiler-errorsbors-3/+1
2024-10-15stabilize `-Znext-solver=coherence`lcnr-3/+1
2024-10-14Move trait bound modifiers into hir::PolyTraitRefMichael Goulet-1/+1
2024-10-12Swap PredicateObligation to ThinVecGnomedDev-1/+2
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-133/+164
2024-10-10Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxuMatthias Krüger-16/+12
2024-10-10impossible obligations check fast pathlcnr-1/+12
2024-10-10Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatchLeón Orell Valerian Liehr-5/+5
2024-10-10Compiler: Replace remaining occurrences of "object safe" with "dyn compatible"León Orell Valerian Liehr-12/+8
2024-09-30Also fix first_method_vtable_slotMichael Goulet-13/+12
2024-09-30Extract trait_refs_are_compatible, make it instantiate bindersMichael Goulet-28/+64
2024-09-30Instantiate binders in supertrait_vtable_slotMichael Goulet-10/+30
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