about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
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
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+2
2024-11-27Address review commentsMichael Goulet-68/+74
2024-11-27Handle bounds that come from the trait itselfMichael Goulet-27/+43
2024-11-27Robustify and genericize RTN resolution in RBVMichael Goulet-33/+86
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-16/+20
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-3/+10
2024-11-19Implement ~const opaquesMichael Goulet-1/+8
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-2/+2
2024-11-19Introduce `min_generic_const_args` and directly represent pathsNoah Lev-2/+3
2024-11-10Deny capturing late-bound ty/ct params in nested opaquesMichael Goulet-10/+27
2024-11-10Revert "Skip late-bound lifetimes when crossing an AnonConst."Michael Goulet-12/+2
2024-11-05Auto merge of #132580 - compiler-errors:globs, r=Noratriebbors-2/+2
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-2/+2