about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-01-28Properly check that array length is valid type during built-in unsizing in indexMichael Goulet-1/+4
2025-01-28Rollup merge of #136066 - compiler-errors:local-spans, r=lcnrMatthias Krüger-15/+26
2025-01-28Suggest considering casting fn item as fn pointer in more casesmu001999-6/+42
2025-01-27Rollup merge of #136114 - compiler-errors:more-idents, r=jieyouxuGuillaume Gomez-4/+8
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-4/+8
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-6/+5
2025-01-25Pass spans to perform_locally_in_new_solverMichael Goulet-15/+26
2025-01-25Add a suggestion to cast target_feature fn items to fn pointers.Luca Versari-0/+3
2025-01-24Rollup merge of #135949 - estebank:shorten-ty, r=davidtwcoMatthias Krüger-9/+10
2025-01-24Rollup merge of #135749 - compiler-errors:param-ordering, r=davidtwcoMatthias Krüger-138/+121
2025-01-24Revert "Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jack...Michael Goulet-14/+10
2025-01-24Do not assume const params are printed after type paramsMichael Goulet-138/+121
2025-01-24Auto merge of #135272 - BoxyUwU:generic_arg_infer_reliability_2, r=compiler-e...bors-49/+47
2025-01-24Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jackh726Matthias Krüger-10/+14
2025-01-24Use short type string in E0308 secondary span labelEsteban Küber-9/+10
2025-01-23Rollup merge of #135492 - metamuffin:bug-invalid-await-suggest, r=compiler-er...Matthias Krüger-0/+12
2025-01-23`visit_x_unambig`Boxy-9/+9
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-40/+40
2025-01-23Make `hir::TyKind::TraitObject` use tagged ptrBoxy-9/+7
2025-01-23Remove query normalize from dropck outlives type opMichael Goulet-10/+14
2025-01-22Rollup merge of #135866 - BoxyUwU:dont_pick_fnptr_nested_goals, r=lcnrMatthias Krüger-2/+21
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-14/+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-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