about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
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
2024-11-25Simplify object_region_boundsMichael Goulet-1/+0
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-1/+1
2024-11-23Dont create trait object if it has errors in itMichael Goulet-1/+6
2024-11-23Dont create object type when more than one principal is presentMichael Goulet-4/+9
2024-11-20we should not be reporting generic error if there is not a segment to denyMichael Goulet-2/+2
2024-11-19Fix broken intra-doc linkBoxy-1/+1
2024-11-19Introduce `min_generic_const_args` and directly represent pathsNoah Lev-33/+161
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-4/+6
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-10/+12
2024-11-03Rollup merge of #132574 - workingjubilee:abi-in-compiler, r=compiler-errorsJubilee-9/+8
2024-11-03compiler: Directly use rustc_abi in hir_{analysis,typeck}Jubilee Young-9/+8
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+0
2024-11-01Auto merge of #132196 - compiler-errors:probe_ty_param_bounds, r=petrochenkovbors-6/+10
2024-10-31Rollup merge of #132209 - compiler-errors:modifiers, r=fmeaseJubilee-20/+35
2024-10-31Make SelfTraitThatDefines a tighter filterMichael Goulet-6/+10