about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2025-01-29Eliminate PatKind::PathOli Scherer-2/+2
2025-01-27Add `TooGeneric` variant to `LayoutError` and emit `Unknown` oneFedericoBruzzone-2/+6
2025-01-25Rollup merge of #135971 - compiler-errors:self-projection, r=fmeaseMatthias Krüger-7/+1
2025-01-24Auto merge of #135272 - BoxyUwU:generic_arg_infer_reliability_2, r=compiler-e...bors-24/+36
2025-01-24Properly report error when object type param default references selfMichael Goulet-7/+1
2025-01-23Semantic changes from new hir representationBoxy-11/+15
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-9/+11
2025-01-23Make `hir::TyKind::TraitObject` use tagged ptrBoxy-4/+10
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-15Rework trait expansion to happen once explicitlyMichael Goulet-138/+115
2025-01-14Add `tcx.visible_traits()` and use it for producing diagnosticsTrevor Gross-1/+1
2025-01-12Rollup merge of #135378 - compiler-errors:unnecessary-stashing, r=chenyukangMatthias Krüger-1/+1
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-1/+1
2025-01-11Suggest typos when trait path expression is typodMichael Goulet-2/+49
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
2025-01-09Use error constant instead of explicit error handlingOli Scherer-3/+0
2025-01-08Exhaustively handle expressions in patternsOli Scherer-22/+20
2025-01-04turn hir::ItemKind::Fn into a named-field variantRalf Jung-3/+3
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-7/+7
2024-12-18introduce `LateParamRegionKind`lcnr-1/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-8/+5
2024-12-14Rollup merge of #133392 - compiler-errors:object-sup, r=lcnrMatthias Krüger-151/+145
2024-12-14Auto merge of #134185 - compiler-errors:impl-trait-in-bindings, r=oli-obkbors-0/+26
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-0/+26
2024-12-14Rollup merge of #134265 - compiler-errors:ty_def_id, r=oli-obkMatthias Krüger-3/+2
2024-12-13Rename ty_def_id so people will stop using it by accidentMichael Goulet-3/+2
2024-12-12Lower AST and resolve lifetimes for unsafe binder typesMichael Goulet-0/+7
2024-12-11Fix ICE when multiple supertrait substitutions need assoc but only one is pro...Michael Goulet-23/+32
2024-12-11Dont use span as key when collecting missing associated types from dynMichael Goulet-149/+134
2024-12-11Rollup merge of #134158 - compiler-errors:item-def-id, r=jackh726Jacob Pratt-2/+2
2024-12-11Rollup merge of #134141 - compiler-errors:anon-adt, r=lqdJacob Pratt-14/+1
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-2/+2
2024-12-10Remove more traces of anonymous ADTsMichael Goulet-14/+1
2024-12-10Tweak wording of non-const traits used as const boundsEsteban Küber-0/+17
2024-12-07Do not talk about "trait `<Foo = Bar>`"Esteban Küber-1/+7
2024-12-06Hide errors whose suggestions would contain error constants or typesOli Scherer-0/+3
2024-12-05Avoid fetching the anon const hir node that is already availableOli Scherer-16/+10
2024-12-02Fix broken intra-doc linkNoah Lev-1/+1
2024-12-02Move `Const::{from_anon_const,try_from_lit}` to hir_ty_loweringNoah Lev-1/+87
2024-12-01Rollup merge of #133589 - voidc:remove-array-len, r=boxyuwuJacob Pratt-8/+3
2024-11-30Remove hir::ArrayLen, introduce ConstArgKind::InferDominik Stolz-8/+3
2024-11-30Do not create trait object type if missing associated typesMichael Goulet-11/+20
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+2
2024-11-27Auto merge of #133393 - compiler-errors:dyn-tweaks, r=lcnr,spastorinobors-36/+2
2024-11-26Rollup merge of #133394 - compiler-errors:dyn-more-errors, r=lcnrMichael Goulet-5/+15
2024-11-25Remove span hack that doesnt do anythingMichael Goulet-34/+1
2024-11-25No need to store original_span in ClauseWithSupertraitSpanMichael Goulet-1/+1