summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2025-02-13Auto merge of #136593 - lukas-code:ty-value-perf, r=oli-obkbors-1/+1
2025-02-12Rollup merge of #135841 - oli-obk:push-qxlnokwrkkym, r=compiler-errorsJacob Pratt-2/+2
2025-02-13intern valtreesLukas Markeffsky-1/+1
2025-02-12Rollup merge of #136900 - workingjubilee:format-externabi-directly, r=oli-obkGuillaume Gomez-6/+4
2025-02-12Rollup merge of #134981 - estebank:issue-93993, r=BoxyUwUGuillaume Gomez-19/+40
2025-02-12Rollup merge of #136891 - compiler-errors:unconstrained-anon-lt, r=lqdMatthias Krüger-21/+23
2025-02-11compiler: replace ExternAbi::name calls with formattersJubilee Young-6/+4
2025-02-11Remove some the spans pointing at the enum in the path and its generic argsEsteban Küber-8/+5
2025-02-11Explain that in paths generics can't be set on both the enum and the variantEsteban Küber-19/+43
2025-02-11Check sig for errors before checking for unconstrained anonymous lifetimeMichael Goulet-21/+23
2025-02-11Lower fn items as ZST valtrees and delay a bugMichael Goulet-5/+9
2025-02-11Reject `impl Trait` bounds in various places where we unconditionally warned ...Oli Scherer-2/+2
2025-02-08Rustfmtbjorn3-15/+19
2025-02-03Use a different hir type for patterns in pattern types than we use in match p...Oli Scherer-60/+5
2025-02-02Maintain a list of types permitted per patternOli Scherer-1/+14
2025-01-31Make comma separated lists of anything easier to make for errorsEsteban Küber-36/+10
2025-01-31Remove an unused arg from the trait method `provided_kind`.Nicholas Nethercote-3/+1
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