about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2024-06-04Rollup merge of #125608 - oli-obk:subsequent_lifetime_errors, r=BoxyUwU许杰友 Jieyou Xu (Joe)-51/+57
2024-06-04Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obkbors-1/+1
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-06-03Provide previous generic arguments to `provided_kind`Oli Scherer-17/+4
2024-06-03Always provide previous generic argumentsOli Scherer-30/+20
2024-06-03Explain some code duplicationOli Scherer-0/+4
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
2024-06-03Make TraitEngines generic over errorMichael Goulet-1/+1
2024-06-03Mark all extraneous generic args as errorsOli Scherer-0/+19
2024-06-03Mark all missing generic args as errorsOli Scherer-9/+30
2024-06-03Store indices of generic args instead of spans, as the actual entries are unu...Oli Scherer-16/+5
2024-06-03Avoid an `Option` that is always `Some`Oli Scherer-12/+8
2024-05-31Rollup merge of #125635 - fmease:mv-type-binding-assoc-item-constraint, r=com...Matthias Krüger-146/+145
2024-05-30Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanupLeón Orell Valerian Liehr-146/+145
2024-05-27Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercotebors-29/+25
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-1/+1
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-29/+25
2024-05-22Rollup merge of #125015 - fmease:pat-tys-proh-gen-args-on-ct-params, r=spasto...León Orell Valerian Liehr-9/+14
2024-05-21Uplift binderMichael Goulet-1/+2
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-2/+2
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-11/+4
2024-05-17Rename Unsafe to SafetySantiago Pastorino-11/+4
2024-05-16Rename ToPredicate for UpcastMichael Goulet-2/+2
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