about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-11-21Stop being so bail-y in candidate assemblyMichael Goulet-32/+0
2024-11-20Rip out built-in PointerLike implMichael Goulet-31/+0
2024-11-19additional `TypingEnv` cleanupslcnr-6/+5
2024-11-19rustdoc: yeet `TypingEnv::from_param_env`lcnr-9/+4
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-1/+3
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-23/+37
2024-11-13Rollup merge of #132971 - BoxyUwU:handle_infers_in_anon_consts, r=compiler-er...Jubilee-9/+21
2024-11-12Handle infer vars in anon consts on stableBoxy-9/+21
2024-11-12Rollup merge of #132938 - compiler-errors:ed2024-apit-sugg, r=chenyukangMatthias Krüger-1/+9
2024-11-12Make precise capturing suggestion machine-applicable only if it has not APITsMichael Goulet-1/+9
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-86/+291
2024-11-09Dont suggest use<APIT>Michael Goulet-13/+20
2024-11-09Suggest turning APITs into generics in opaque overcapturesMichael Goulet-3/+121
2024-11-08Rollup merge of #132757 - compiler-errors:yeet-check-wf, r=lcnrJubilee-0/+16
2024-11-08Manually register some bounds for a better spanMichael Goulet-0/+16
2024-11-08Auto merge of #128849 - estebank:issue-89143, r=jackh726bors-45/+90
2024-11-07Only show "same type from differnt version" note when relevantEsteban Küber-7/+15
2024-11-07Remove less relevant info from diagnosticEsteban Küber-0/+18
2024-11-07Tweak diagnostic outputEsteban Küber-19/+21
2024-11-07Tweak detection of multiple crate versions to be more ecompassingEsteban Küber-39/+56
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-32/+40
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