about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
2025-02-12Rollup merge of #136806 - adwinwhite:cycle-in-pretty-print-rpitit, r=compiler...Jacob Pratt-43/+45
2025-02-11reduce query calls in pretty printing when finding bounds ofAdwin White-43/+45
2025-02-09Remove lifetime_capture_rules_2024 featureMichael Goulet-21/+12
2025-02-08Rustfmtbjorn3-24/+29
2025-02-05Rollup merge of #136550 - compiler-errors:rpitit-empty-body, r=oli-obkJubilee-0/+9
2025-02-04Fix rustc_hidden_type_of_opaques for RPITITs with no default bodyMichael Goulet-0/+9
2025-02-04Allow using named consts in pattern typesOli Scherer-0/+1
2025-02-03Use a different hir type for patterns in pattern types than we use in match p...Oli Scherer-7/+18
2025-01-31Auto merge of #136331 - jhpratt:rollup-curo1f4, r=jhprattbors-68/+26
2025-01-31Rollup merge of #136270 - nnethercote:rm-NamedVarMap, r=jackh726Jacob Pratt-68/+26
2025-01-30Do not treat vtable supertraits as distinct when bound with different bound varsMichael Goulet-2/+2
2025-01-30Rework rustc_dump_vtableMichael Goulet-1/+81
2025-01-30Remove `NamedVarMap`.Nicholas Nethercote-68/+26
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-6/+5
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-2/+2
2025-01-24use `fmt::from_fn` in more places, instead of using structs that impl formatt...Yotam Ofek-32/+30
2025-01-23`visit_x_unambig`Boxy-17/+17
2025-01-23Semantic changes from new hir representationBoxy-7/+9
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-27/+27
2025-01-23Make `hir::TyKind::TraitObject` use tagged ptrBoxy-3/+5
2025-01-16Auto merge of #134504 - oli-obk:push-rltsvnyttwll, r=compiler-errorsbors-1/+1
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-14/+7
2025-01-10remove more redundant into() conversionsMatthias Krüger-1/+1
2025-01-09Use trait definition cycle detection for trait alias definitions, tooOli Scherer-1/+1
2025-01-04Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obkbors-4/+4
2025-01-04turn hir::ItemKind::Fn into a named-field variantRalf Jung-4/+4
2025-01-02Fix macro shenanigansMichael Goulet-2/+11
2025-01-02Make suggestion verbose and tweak error messageMichael Goulet-2/+2
2025-01-02Suppress type param suggestion if encountering invalid const inferMichael Goulet-6/+7
2025-01-02Unconditionally lower generic_arg_inferMichael Goulet-1/+16
2025-01-02More refined spans for placeholder error in const/staticMichael Goulet-2/+11
2025-01-02Remove diagnostic_only_typeck and fix placeholder suggestion for const/staticMichael Goulet-1/+1
2025-01-02nit: Make get_infer_ret_ty name more consistent with is_suggestable_infer_tyMichael Goulet-1/+1
2024-12-18Rollup merge of #133926 - compiler-errors:const-conditions, r=lcnr许杰友 Jieyou Xu (Joe)-15/+33
2024-12-18Fix const conditions for RPITITsMichael Goulet-15/+33
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-9/+5
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-0/+15
2024-12-12Lower AST and resolve lifetimes for unsafe binder typesMichael Goulet-0/+36
2024-12-11Rollup merge of #134105 - compiler-errors:validate-self-preds, r=wesleywiserJacob Pratt-2/+9
2024-12-10Validate self in host predicates correctlyMichael Goulet-2/+9
2024-12-09Introduce `default_field_values` featureEsteban Küber-0/+6
2024-12-04Rollup merge of #133850 - oli-obk:push-xryukktpyooq, r=compiler-errorsMatthias Krüger-2/+12
2024-12-04Avoid `opaque type not constrained` errors in the presence of other errorsOli Scherer-2/+12
2024-12-03Don't try and handle unfed `type_of` on anon constsBoxy-235/+8
2024-12-03Rollup merge of #133545 - clubby789:symbol-intern-lit, r=jieyouxuMatthias Krüger-1/+1
2024-12-02Move `Const::{from_anon_const,try_from_lit}` to hir_ty_loweringNoah Lev-43/+64
2024-12-01Rollup merge of #133589 - voidc:remove-array-len, r=boxyuwuJacob Pratt-4/+2
2024-12-01Rollup merge of #132047 - compiler-errors:rbv-rtn-cleanup, r=cjgillotMatthias Krüger-35/+110
2024-11-30Remove hir::ArrayLen, introduce ConstArgKind::InferDominik Stolz-4/+2
2024-11-28Replace `Symbol::intern` calls with preinterned symbolsclubby789-1/+1