about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-01-21remove support for the #[start] attributeRalf Jung-14/+0
2025-01-21Auto merge of #133830 - compiler-errors:span-key, r=lcnrbors-147/+71
2025-01-19Manual cleanup of some `is_{or_none|some_and}` usagesYotam Ofek-1/+2
2025-01-19Run `clippy --fix` for `unnecessary_map_or` lintYotam Ofek-2/+1
2025-01-18Get rid of `ToPolyTraitRef`Michael Goulet-110/+112
2025-01-18Rollup merge of #135639 - lqd:trivial-builtin-impls, r=lcnrMatthias Krüger-2/+2
2025-01-18Auto merge of #135618 - lcnr:coherence-unknown, r=compiler-errorsbors-24/+45
2025-01-17new solver: prefer trivial builtin impls over where-clausesRémy Rakic-2/+2
2025-01-17add cache to `AmbiguityCausesVisitor`lcnr-2/+12
2025-01-17Rollup merge of #135558 - estebank:issue-133316, r=chenyukangMatthias Krüger-0/+8
2025-01-16Add missing check for async body when suggesting await on futures.metamuffin-0/+12
2025-01-16Detect if-else chains with a missing final else in type errorsEsteban Küber-0/+8
2025-01-15Rollup merge of #135498 - compiler-errors:dyn-upcasting-completeness, r=lcnrGuillaume Gomez-1/+17
2025-01-15Auto merge of #134353 - oli-obk:safe-target-feature-unsafe-by-default, r=wesl...bors-27/+67
2025-01-15Avoid notes that only make sense for unsafe functionsOli Scherer-2/+4
2025-01-15Try to render shorthand differentlyOli Scherer-3/+9
2025-01-15Render fn defs with target_features attrs with the attribute [second site]Oli Scherer-20/+40
2025-01-15Hide the internal unsafety of safe target_feature fn itemsOli Scherer-2/+14
2025-01-15avoid running the overlap check twicelcnr-22/+33
2025-01-14Rollup merge of #135380 - compiler-errors:mismatch-valtree, r=lcnrJubilee-2/+3
2025-01-15Rework trait expansion to happen once explicitlyMichael Goulet-147/+71
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