about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2025-01-29Eliminate PatKind::PathOli Scherer-3/+2
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-14/+13
2025-01-27Rollup merge of #136114 - compiler-errors:more-idents, r=jieyouxuGuillaume Gomez-34/+33
2025-01-27Remove redundant to_ident_string callsMichael Goulet-1/+1
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-33/+32
2025-01-27Add `TooGeneric` variant to `LayoutError` and emit `Unknown` oneFedericoBruzzone-2/+6
2025-01-25Rollup merge of #135951 - yotamofek:use-debug-helpers, r=SparrowLiiJacob Pratt-32/+31
2025-01-25Rollup merge of #135971 - compiler-errors:self-projection, r=fmeaseMatthias Krüger-8/+8
2025-01-24use `fmt::from_fn` in more places, instead of using structs that impl formatt...Yotam Ofek-32/+31
2025-01-24Auto merge of #135272 - BoxyUwU:generic_arg_infer_reliability_2, r=compiler-e...bors-103/+107
2025-01-24Rollup merge of #135865 - zachs18:maybe_report_similar_assoc_fn_more, r=compi...Matthias Krüger-6/+14
2025-01-24Properly report error when object type param default references selfMichael Goulet-8/+8
2025-01-23`visit_x_unambig`Boxy-22/+22
2025-01-23Semantic changes from new hir representationBoxy-39/+28
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-57/+64
2025-01-23Make `hir::TyKind::TraitObject` use tagged ptrBoxy-7/+15
2025-01-22Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnrMatthias Krüger-5/+5
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-1/+1
2025-01-22Also check for associated fns on primitives in E0223 similar-path check.Zachary S-3/+9
2025-01-22For E0223, suggest associated functions that are similar to the path, even if...Zachary S-4/+6
2025-01-22Rename `structurally_normalize` to `structurally_normalize_ty`Boxy-5/+5
2025-01-21Rollup merge of #135706 - compiler-errors:elaborate, r=lcnrMatthias Krüger-1/+2
2025-01-21Auto merge of #134299 - RalfJung:remove-start, r=compiler-errorsbors-139/+1
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-1/+2
2025-01-21remove support for the #[start] attributeRalf Jung-139/+1
2025-01-21Auto merge of #133830 - compiler-errors:span-key, r=lcnrbors-138/+115
2025-01-17remove unnecessary assertion for reference erroryukang-1/+0
2025-01-16Auto merge of #134504 - oli-obk:push-rltsvnyttwll, r=compiler-errorsbors-1/+1
2025-01-15Auto merge of #134353 - oli-obk:safe-target-feature-unsafe-by-default, r=wesl...bors-6/+11
2025-01-14Rollup merge of #135228 - compiler-errors:normalizes-ur-dispatch, r=BoxyUwUJubilee-9/+35
2025-01-15Rework trait expansion to happen once explicitlyMichael Goulet-138/+115
2025-01-14Normalize field before checking PhantomData in coerce/dispatch impl validationMichael Goulet-3/+20
2025-01-14Auto merge of #135278 - tgross35:ignore-std-dep-crates, r=SparrowLiibors-1/+1
2025-01-14Add hir::HeaderSafety to make follow up commits simplerOli Scherer-6/+11
2025-01-14Add `tcx.visible_traits()` and use it for producing diagnosticsTrevor Gross-1/+1
2025-01-13rm unnecessary `OpaqueTypeDecl` wrapperlcnr-3/+3
2025-01-12Rollup merge of #135378 - compiler-errors:unnecessary-stashing, r=chenyukangMatthias Krüger-16/+9
2025-01-12Rollup merge of #135374 - compiler-errors:typo-trait-method, r=fee1-deadMatthias Krüger-2/+49
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-16/+9
2025-01-11Suggest typos when trait path expression is typodMichael Goulet-2/+49
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-2/+2
2025-01-10Rollup merge of #135321 - matthiaskrgr:out_of_into, r=lqdJacob Pratt-1/+1
2025-01-10remove more redundant into() conversionsMatthias Krüger-1/+1
2025-01-09Rename RegionResolutionVisitor to ScopeResolutionVisitorMichael Goulet-12/+12
2025-01-09Make sure to walk into nested const blocks in RegionResolutionVisitorMichael Goulet-4/+8
2025-01-09Rollup merge of #135195 - oli-obk:push-toyoyrupruko, r=lcnrMatthias Krüger-27/+7
2025-01-09Use trait definition cycle detection for trait alias definitions, tooOli Scherer-1/+1
2025-01-09Use option combinators instead of manual if/returnOli Scherer-10/+3
2025-01-09Remove the now-useless `Result` from `lit_to_const`Oli Scherer-6/+3
2025-01-09Always take the `Ok` path in `lit_to_const` and produce error constants insteadOli Scherer-12/+5