about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-10-30Remove dead code stemming from the old effects desugaringLeón Orell Valerian Liehr-6/+0
2024-10-30Rollup merge of #132344 - compiler-errors:same-thing, r=lcnrJubilee-11/+7
2024-10-30Rollup merge of #132246 - workingjubilee:campaign-on-irform, r=compiler-errorsJubilee-5/+5
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-11/+7
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-22/+2
2024-10-30Rollup merge of #131856 - lcnr:typing-mode, r=compiler-errorsMatthias Krüger-143/+104
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-5/+5
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-13/+2
2024-10-29rebaselcnr-2/+3
2024-10-29TypingMode :thinking:lcnr-141/+101
2024-10-29Remove region from adjustmentsMichael Goulet-4/+1
2024-10-28Hack out effects support for old solverMichael Goulet-8/+196
2024-10-28Rollup merge of #132243 - compiler-errors:no-span, r=jieyouxu许杰友 Jieyou Xu (Joe)-12/+13
2024-10-28Rollup merge of #132086 - estebank:long-types, r=jieyouxu许杰友 Jieyou Xu (Joe)-25/+63
2024-10-27Remove ObligationCause::span() methodMichael Goulet-9/+9
2024-10-27Stop using the whole match expr span for an arm's obligation spanMichael Goulet-3/+4
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-2/+2
2024-10-25Pass long type path into `note_obligation_cause_code` to avoid printing same ...Esteban Küber-20/+49
2024-10-25Tweak highlighting when trait is available for different typeEsteban Küber-5/+14
2024-10-24Auto merge of #131985 - compiler-errors:const-pred, r=fee1-deadbors-63/+54
2024-10-24Implement const effect predicate in new solverMichael Goulet-23/+52
2024-10-24Remove associated type based effects logicMichael Goulet-44/+6
2024-10-24Rollup merge of #132084 - compiler-errors:param-env-with-err, r=lcnr,estebankMatthias Krüger-1/+0
2024-10-24Deeply normalize type trace in type error reportingMichael Goulet-1/+4
2024-10-24Plumb through param_env to note_type_errMichael Goulet-14/+48
2024-10-24Consider param-env candidates even if they have errorsMichael Goulet-1/+0
2024-10-23Auto merge of #132027 - RalfJung:lang-feature-bool-fields, r=nnethercotebors-20/+20
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-20/+20
2024-10-23Auto merge of #132053 - matthiaskrgr:rollup-u5ds6i3, r=matthiaskrgrbors-1/+1
2024-10-23Rollup merge of #132026 - lcnr:stabilize-coherence-again, r=compiler-errorsMatthias Krüger-1/+1
2024-10-22Represent TraitBoundModifiers as distinct parts in HIRMichael Goulet-1/+1
2024-10-22Rollup merge of #131549 - compiler-errors:try-in-sync, r=spastorinoMatthias Krüger-43/+55
2024-10-22remove unused fieldlcnr-1/+1
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-356/+40
2024-10-21Rollup merge of #131981 - compiler-errors:bound-constness, r=cjgillotMatthias Krüger-12/+15
2024-10-21Auto merge of #130950 - compiler-errors:yeet-eval, r=BoxyUwUbors-114/+149
2024-10-20Remove the BoundConstness::NotConst variantMichael Goulet-12/+15
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-344/+25
2024-10-19Rollup merge of #131795 - compiler-errors:expectation, r=NadrierilMatthias Krüger-21/+4
2024-10-19Fix transmute goalMichael Goulet-110/+145
2024-10-19Rename normalize to normalize_internal, remove unnecessary usagesMichael Goulet-3/+3
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-1/+1
2024-10-18Rollup merge of #131864 - lrh2000:upcast_reorder, r=WaffleLapkin许杰友 Jieyou Xu (Joe)-6/+5
2024-10-18Rollup merge of #131857 - WaffleLapkin:dyn-drop-principal-3, r=compiler-errorsMatthias Krüger-1/+5
2024-10-18Never emit `vptr` for empty/auto traitsRuihan Li-6/+5
2024-10-17Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errorsMatthias Krüger-0/+1
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