about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2025-03-07Rollup merge of #138042 - xizheyin:issue-135759, r=nnethercoteMatthias Krüger-2/+61
2025-03-06Rollup merge of #137565 - compiler-errors:macro-ex, r=estebankMichael Goulet-0/+3
2025-03-06Remove the `Option` part of range ends in the HIROli Scherer-78/+12
2025-03-06Avoid having to handle an `Option` in the type systemOli Scherer-11/+78
2025-03-06Prefer a two value enum over boolOli Scherer-5/+0
2025-03-05Suggest struct or union to add generic that impls traitxizheyin-2/+61
2025-03-04mgca: Lower all const paths as `ConstArgKind::Path`Noah Lev-81/+288
2025-03-04Also note struct access, and fix macro expansion from foreign cratesMichael Goulet-1/+1
2025-03-03Fix associated type errors tooMichael Goulet-0/+3
2025-02-28Introduce `feature(generic_const_parameter_types)`Boxy-13/+56
2025-02-26Rollup merge of #137631 - TaKO8Ki:issue-137508, r=compiler-errorsLeón Orell Valerian Liehr-1/+5
2025-02-26fix #137508Takayuki Maeda-1/+5
2025-02-22Rollup merge of #137333 - compiler-errors:edition-2024-fresh, r=NadrierilMatthias Krüger-4/+3
2025-02-22Fix binding mode problemsMichael Goulet-4/+3
2025-02-22Rollup merge of #136458 - compiler-errors:fix-3, r=lcnrMatthias Krüger-28/+99
2025-02-21Do not deduplicate list of associated types provided by dyn principalMichael Goulet-28/+99
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-13/+9
2025-02-18Rollup merge of #137206 - estebank:e0599-structured, r=jieyouxuMatthias Krüger-9/+8
2025-02-18Make E0599 a structured errorEsteban Küber-9/+8
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-6/+6
2025-02-17Auto merge of #137164 - matthiaskrgr:rollup-dj5826k, r=matthiaskrgrbors-81/+92
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-4/+4
2025-02-15HIR analysis: Remove unnecessary abstraction over list of clausesLeón Orell Valerian Liehr-81/+92
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