about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-01-14Make sure we can produce ConstArgHasWrongType errors for valtree constsMichael Goulet-2/+3
2025-01-14Rollup merge of #135466 - compiler-errors:leak-check-impossible, r=lcnrMatthias Krüger-3/+12
2025-01-14Prefer lower TraitUpcasting candidatesMichael Goulet-1/+17
2025-01-14Auto merge of #135278 - tgross35:ignore-std-dep-crates, r=SparrowLiibors-1/+1
2025-01-14Add `tcx.visible_traits()` and use it for producing diagnosticsTrevor Gross-1/+1
2025-01-14Rollup merge of #135464 - lukas-code:project-infinite-to-error, r=FedericoBru...Matthias Krüger-3/+4
2025-01-14Leak check in impossible_predicates to avoid monomorphizing impossible instancesMichael Goulet-3/+12
2025-01-14fix ICE with references to infinite structs in constsLukas Markeffsky-3/+4
2025-01-13Assert that Instance::try_resolve is only used on body-like thingsMichael Goulet-0/+156
2025-01-10mir_transform: implement forced inliningDavid Wood-4/+14
2025-01-09Rollup merge of #135269 - estebank:unneeded-into, r=compiler-errorsMatthias Krüger-2/+2
2025-01-09Rollup merge of #135247 - tgross35:stdlib-sym-list, r=oli-obkMatthias Krüger-2/+2
2025-01-09Rollup merge of #134875 - compiler-errors:const-destruct-old-solver, r=lcnrMatthias Krüger-1/+105
2025-01-09Rollup merge of #128110 - veera-sivarajan:bugfix-80173, r=cjgillotMatthias Krüger-0/+6
2025-01-08Add a list of symbols for stable standard library cratesTrevor Gross-2/+2
2025-01-08Remove some unnecessary `.into()` callsEsteban Küber-2/+2
2025-01-08Implement const Destruct in old solverMichael Goulet-1/+105
2025-01-06Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnrJacob Pratt-14/+154
2025-01-06Rollup merge of #134951 - compiler-errors:double-trait-err-msg, r=davidtwcoMatthias Krüger-19/+38
2025-01-06Rollup merge of #134771 - compiler-errors:const-arg-has-type-err, r=lcnrMatthias Krüger-1/+18
2025-01-06Recurse on GAT where clauses in fulfillment error proof tree visitorMichael Goulet-5/+9
2025-01-06Add derived causes for host effect predicatesMichael Goulet-13/+149
2025-01-04Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obkbors-15/+27
2025-01-04turn hir::ItemKind::Fn into a named-field variantRalf Jung-15/+27
2025-01-04Rollup merge of #135069 - matthiaskrgr:param_rec_usage, r=jieyouxuMatthias Krüger-4/+3
2025-01-04Auto merge of #135057 - compiler-errors:project-unconstrained, r=oli-obkbors-32/+50
2025-01-03remove unused function paramsMatthias Krüger-4/+3
2025-01-03Also in the new solverMichael Goulet-3/+2
2025-01-03Do not project when there are unconstrained impl paramsMichael Goulet-29/+48
2025-01-02Remove unused fields from RepeatElementCopy obligationTaylor Cramer-6/+1
2025-01-01Rollup merge of #133292 - dianne:e0277-suggest-deref, r=estebankStuart Cook-113/+85
2024-12-31Rollup merge of #134949 - compiler-errors:froms, r=jieyouxuStuart Cook-6/+6
2024-12-31nit: what the heck is `o`Michael Goulet-2/+2
2024-12-31Suppress host effect predicates if underlying trait doesn't holdMichael Goulet-17/+36
2024-12-31Convert some Into impls into From implsMichael Goulet-6/+6
2024-12-31Make sure we check the future type is Sized in AsyncFn*Michael Goulet-3/+20
2024-12-27Rollup merge of #134827 - compiler-errors:borrowck-nits, r=lqdDavid Tolnay-2/+1
2024-12-27Rollup merge of #134823 - chloefeal:fix, r=tgross35,dtolnayDavid Tolnay-1/+1
2024-12-27Fix typoschloefeal-1/+1
2024-12-26Make ty::Error implement auto traitsMichael Goulet-1/+3
2024-12-26nit: Remove redundant functionMichael Goulet-2/+1
2024-12-25Report correct SelectionError for ConstArgHasType in new solver fulfillMichael Goulet-1/+18
2024-12-24Auto merge of #134716 - Zalathar:rollup-1h4q8cc, r=Zalatharbors-28/+137
2024-12-24Rollup merge of #134638 - compiler-errors:fx-item-bounds, r=lcnrStuart Cook-28/+137
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-3/+33
2024-12-22Rollup merge of #134639 - compiler-errors:negative-ambiguity-causes, r=oli-obkMatthias Krüger-9/+13
2024-12-22Make sure we note ambiguity causes on positive/negative impl conflictsMichael Goulet-9/+13
2024-12-22Fix item bounds in old solverMichael Goulet-28/+137
2024-12-21Auto merge of #134501 - lcnr:member-constraints-yeet, r=oli-obkbors-15/+5
2024-12-21Suggest Semicolon in Incorrect Repeat ExpressionsVeera-0/+6