about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2024-06-28general fixups and turn `TODO`s into `FIXME`sDeadbeef-1/+1
2024-06-28implement new effects desugaringDeadbeef-4/+14
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-7/+8
2024-06-17Rework precise capturing syntaxMichael Goulet-0/+3
2024-06-14Rollup merge of #126054 - veera-sivarajan:bugfix-113073-bound-on-generics-2, ...Matthias Krüger-10/+78
2024-06-12E0229: Suggest Moving Type Constraints to Type Parameter DeclarationVeera-10/+78
2024-06-12Rollup merge of #125978 - fmease:cleanup-hir-ty-lowering-consolidate-assoc-it...Jubilee-66/+75
2024-06-05Misc fixes (pattern type lowering, cfi, pretty printing)Boxy-12/+11
2024-06-05Basic removal of `Ty` from places (boring)Boxy-34/+22
2024-06-05Unify optional param info with object lifetime default boolean into an enum t...Oli Scherer-19/+37
2024-06-05Remove `allows_infer` now that every use of it is delegated to `HirTyLowerer`Oli Scherer-3/+0
2024-06-05Only collect infer vars to error about in case infer vars are actually forbiddenOli Scherer-83/+10
2024-06-05Remove an `Option` and instead eagerly create error lifetimesOli Scherer-49/+13
2024-06-05Simplify some code paths and remove an unused fieldOli Scherer-15/+3
2024-06-05Use a `LocalDefId` for `HirTyLowerer::item_def_id`, since we only ever (can) ...Oli Scherer-10/+9
2024-06-04Cleanup: HIR ty lowering: Consolidate assoc item access checkingLeón Orell Valerian Liehr-66/+75
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