summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-11-14Only disable cache if predicate has opaques within itMichael Goulet-21/+45
2024-10-11remove outdated FIXMEslcnr-0/+2
2024-10-10Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxuMatthias Krüger-16/+12
2024-10-10Auto merge of #131263 - compiler-errors:solver-relating, r=lcnrbors-6/+0
2024-10-10impossible obligations check fast pathlcnr-8/+21
2024-10-10Use SolverRelating in new solverMichael Goulet-6/+0
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-10-06Rename NestedMetaItem to MetaItemInnercodemountains-3/+3
2024-10-05Auto merge of #129244 - cjgillot:opaque-hir, r=compiler-errorsbors-27/+21
2024-10-04Rollup merge of #131273 - estebank:issue-131051, r=compiler-errorsJubilee-1/+21
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-27/+21
2024-10-04Account for `impl Trait {` when `impl Trait for Type {` was intendedEsteban Küber-1/+21
2024-10-04Rollup merge of #130518 - scottmcm:stabilize-controlflow-extra, r=dtolnayJubilee-1/+0
2024-10-04Rollup merge of #131034 - Urgau:cfg-true-false, r=nnethercoteGuillaume Gomez-5/+5
2024-10-03Rollup merge of #131183 - compiler-errors:opaque-ty-origin, r=estebankMatthias Krüger-4/+4
2024-10-03Rollup merge of #131112 - jswrenn:fix-130413, r=compiler-errorsMatthias Krüger-0/+11
2024-10-03Remove crashes, add commentMichael Goulet-0/+2
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-1/+1
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-2/+2
2024-10-02Remove redundant in_trait from hir::TyKind::OpaqueDefMichael Goulet-2/+2
2024-10-02Improve const traits diagnostics for new desugaringDeadbeef-18/+68
2024-10-01TransmuteFrom: Gracefully handle unnormalized types and normalization errorsJack Wrenn-0/+9
2024-10-01Implement boolean lit support in cfg predicatesUrgau-1/+3
2024-10-01Use `ast::NestedMetaItem` when evaluating cfg predicateUrgau-7/+5
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-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-78/+75
2024-09-26Rollup merge of #130911 - notriddle:notriddle/suggest-wrap-parens-fn-pointer,...Jubilee-4/+25
2024-09-26Check allow instantiating object trait binder when upcasting and in new solverMichael Goulet-3/+3
2024-09-26diagnostics: wrap fn cast suggestions in parensMichael Howell-4/+25
2024-09-25Stabilize the `map`/`value` methods on `ControlFlow`Scott McMurray-1/+0
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-78/+75
2024-09-25Fixed diagnostics for coroutines with () as input.Virginia Senioria-37/+35
2024-09-23Rollup merge of #130714 - compiler-errors:try-structurally-resolve-const, r=B...Matthias Krüger-0/+40
2024-09-23Rollup merge of #130712 - compiler-errors:const-eval-error-reporting, r=BoxyUwUMatthias Krüger-21/+20
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-348/+298
2024-09-22Don't call try_eval_target_usize in error reportingMichael Goulet-1/+1
2024-09-22Don't call const normalize in error reportingMichael Goulet-20/+19
2024-09-22Introduce structurally_normalize_const, use it in hir_typeckMichael Goulet-0/+40
2024-09-21Auto merge of #127546 - workingjubilee:5-level-paging-exists, r=saethlinbors-2/+2
2024-09-20TL note: current means targetJubilee Young-2/+2
2024-09-19skip normalizing param env if it is already normalizedLukas Markeffsky-0/+3
2024-09-18Rollup merge of #130116 - veera-sivarajan:freeze-suggestions, r=chenyukangMatthias Krüger-3/+3
2024-09-17Rollup merge of #130275 - compiler-errors:extern-crate, r=lcnrMatthias Krüger-0/+1
2024-09-14Rollup merge of #130294 - nnethercote:more-lifetimes, r=lcnrLeón Orell Valerian Liehr-21/+21