about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-11-04Rollup merge of #132608 - mejrs:type_impls_trait, r=compiler-errorsJubilee-0/+18
2024-11-05Explain how to evaluate an obligationmejrs-3/+9
2024-11-04Rollup merge of #132583 - mejrs:tuples, r=compiler-errorsMatthias Krüger-0/+39
2024-11-04Rollup merge of #132486 - compiler-errors:no-binder, r=lcnrMatthias Krüger-9/+3
2024-11-04document `type_implements_trait`mejrs-0/+12
2024-11-04Suggest creating unary tuplesmejrs-0/+39
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-24/+32
2024-11-04ty::KContainer -> ty::AssocItemContainer::KMichael Goulet-2/+2
2024-11-04Remove the trivial constkind importsMichael Goulet-6/+6
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-7/+5
2024-11-02compiler: Replace rustc_target with _abi in _trait_selectionJubilee Young-8/+8
2024-11-02Use extract_callable_info, generalize it to async closureMichael Goulet-80/+97
2024-11-02Fix closure arg extraction in extract_callable_infoMichael Goulet-2/+2
2024-11-02No need to instantiate binder in confirm_async_closure_candidateMichael Goulet-9/+3
2024-11-02Account for negative bounds in E0277 note and suggestionEsteban Küber-1/+8
2024-11-02On long E0277 primary span label, move it to a `help`Esteban Küber-0/+5
2024-11-02Point at tail expression on rpit E0277Esteban Küber-11/+28
2024-11-02Use `short_ty_string`Esteban Küber-1/+3
2024-11-02Trim output of E0277 in some casesEsteban Küber-2/+18
2024-11-02Add trait diff highlighting logic and use it in E0277Esteban Küber-13/+116
2024-10-31Rollup merge of #132403 - lcnr:typing-mode, r=compiler-errorsJubilee-37/+47
2024-10-31normalization folders, yeet `ParamEnv::reveal`lcnr-24/+31
2024-10-31traits::project: yeet `ParamEnv::reveal`lcnr-13/+16
2024-10-31Auto merge of #132301 - compiler-errors:adjust, r=lcnrbors-4/+1
2024-10-31Auto merge of #131186 - compiler-errors:precise-capturing-borrowck, r=estebankbors-2/+5
2024-10-31Encode cross-crate opaque type originMichael Goulet-2/+5
2024-10-31Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgrbors-6/+0
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