about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2025-01-22Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnrMatthias Krüger-64/+47
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-80/+108
2025-01-22Rename `structurally_normalize` to `structurally_normalize_ty`Boxy-4/+4
2025-01-22Use `structurally_normalize` instead of manual `normalizes-to` goalsBoxy-60/+43
2025-01-22Don't pick `T: FnPtr` nested goalsBoxy-2/+21
2025-01-21Rollup merge of #135706 - compiler-errors:elaborate, r=lcnrMatthias Krüger-9/+11
2025-01-21Auto merge of #134299 - RalfJung:remove-start, r=compiler-errorsbors-17/+0
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-9/+11
2025-01-21remove support for the #[start] attributeRalf Jung-17/+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-5/+17
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