about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-10-17SolverDelegate add assoc type for Infcxlcnr-0/+1
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-24/+26
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 #131797 - matthiaskrgr:rollup-lzpze2k, r=matthiaskrgrbors-13/+8
2024-10-16Rollup merge of #131753 - compiler-errors:swap-secondary, r=jieyouxuMatthias Krüger-13/+8
2024-10-16Stop inverting expectation in normalization errorsMichael Goulet-21/+4
2024-10-16Rollup merge of #131699 - compiler-errors:better-errors-for-projections, r=lcnrMatthias Krüger-12/+22
2024-10-16Auto merge of #131422 - GnomedDev:smallvec-predicate-obligations, r=compiler-...bors-148/+178
2024-10-15Be better at reporting alias errorsMichael Goulet-5/+21
2024-10-15Always recurse on predicates in BestObligationMichael Goulet-7/+1
2024-10-15Auto merge of #131747 - compiler-errors:rollup-0fnymws, r=compiler-errorsbors-9/+13
2024-10-15Unify secondary_span and swap_secondary_and_primaryMichael Goulet-13/+8
2024-10-15Rollup merge of #131701 - compiler-errors:negative-bounds-on-unimplemented, r...Michael Goulet-9/+13
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-14Don't report on_unimplemented for negative traitsMichael Goulet-9/+13
2024-10-14Move trait bound modifiers into hir::PolyTraitRefMichael Goulet-10/+13
2024-10-12Swap PredicateObligation to ThinVecGnomedDev-2/+5
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-147/+174
2024-10-12Add a note for ? on future in sync functionMichael Goulet-43/+55
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