about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-28/+21
2024-05-13Apply nitsMichael Goulet-16/+5
2024-05-13split out AliasTy -> AliasTermMichael Goulet-15/+19
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+4
2024-05-11Apply nits, uplift ExistentialPredicate tooMichael Goulet-1/+1
2024-05-11Pattern types: Prohibit generic args on const paramsLeón Orell Valerian Liehr-9/+14
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-0/+2
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-7/+7
2024-05-02Inline & delete `Ty::new_unit`, since it's just a field accessWaffle Lapkin-1/+1
2024-04-23delegation: Support async, const, extern "ABI" and C-variadic functionsVadim Petrochenkov-28/+0
2024-04-23Rollup merge of #122591 - gurry:122162-impl-type-binding-suggestion, r=fmeaseLeón Orell Valerian Liehr-11/+114
2024-04-21cleanup: unnecessary clone during lower generics argsbohan-2/+2
2024-04-17Rollup merge of #123997 - compiler-errors:self-res, r=fmeaseMatthias Krüger-0/+11
2024-04-16Avoid lots of `hir::HirId{,Map,Set}` qualifiers.Nicholas Nethercote-25/+12
2024-04-16Emit suggestions when equality constraints are wrongly usedGurinder Singh-11/+114
2024-04-15Delay span bug when Self resolves to DefKind::{Mod,Trait}Michael Goulet-0/+11
2024-04-11remove some things that do not need to beMatthias Krüger-1/+1
2024-04-11Call lower_const_param instead of duplicating the codeSantiago Pastorino-5/+1
2024-04-09Handle const generic pattern typesSantiago Pastorino-0/+18
2024-04-08Avoid ICEing without the `pattern_types` feature gateOli Scherer-1/+5
2024-04-08Actually create ranged int types in the type system.Oli Scherer-9/+59
2024-04-08Start handling pattern types at the HIR -> Ty conversion boundaryOli Scherer-2/+10
2024-04-08Thread pattern types through the HIROli Scherer-0/+1
2024-04-04Auto merge of #123240 - compiler-errors:assert-args-compat, r=fmeasebors-17/+27
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-1/+1
2024-04-03Don't fill non-ty args with ty::ErrorMichael Goulet-17/+27
2024-04-02t plit astconv's error report code in check functions to mod errors.surechen-342/+448
2024-03-27Rollup merge of #123133 - xiaoxiangxianzi:master, r=fmeaseMatthias Krüger-1/+1
2024-03-27chore: fix some commentsxiaoxiangxianzi-1/+1
2024-03-27Delegation: fix ICE on wrong instantiationBryanskiy-0/+11
2024-03-26Rollup merge of #122120 - fmease:sugg-assoc-ty-bound-on-eq-bound, r=compiler-...Matthias Krüger-64/+109
2024-03-25Rollup merge of #122881 - Bryanskiy:delegation-fixes-2, r=petrochenkovMatthias Krüger-7/+1
2024-03-23Suggest assoc ty bound on bare dyn trait in eq constraintLeón Orell Valerian Liehr-0/+38
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-8/+8
2024-03-22Small tweaks to the linting code for bare trait object typesLeón Orell Valerian Liehr-72/+79
2024-03-22Use != Positive rather than == NegativeMichael Goulet-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-8/+8
2024-03-22Ty::new_ref and Ty::new_ptr stop using TypeAndMutMichael Goulet-4/+2
2024-03-22Delegation: fix ICE on `bound_vars` divergenceBryanskiy-7/+1
2024-03-22Arrange methods on HirTyLowerer more logicallyLeón Orell Valerian Liehr-24/+24
2024-03-22Rename module astconv to hir_ty_loweringLeón Orell Valerian Liehr-0/+5834