about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2024-07-09E0191 suggestion correction, inserts turbofish without dyn (#91997)Ashton Hunt-1/+13
2024-07-09Auto merge of #127358 - oli-obk:taint_itemctxt, r=fmeasebors-140/+109
2024-07-09Auto merge of #127493 - compiler-errors:crate-level-import, r=lcnrbors-3/+3
2024-07-09Remove HirTyLowerer::set_tainted_by_errors, since it is now redundantOli Scherer-50/+18
2024-07-09Automatically taint when reporting errors from ItemCtxtOli Scherer-93/+94
2024-07-09Auto merge of #127200 - fee1-dead-contrib:trait_def_const_trait, r=compiler-e...bors-9/+3
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-3/+3
2024-07-08Remove `structured_errors` moduleOli Scherer-1/+1
2024-07-08Remove `StructuredDiag`Oli Scherer-16/+14
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-0/+1
2024-07-03Add `constness` to `TraitDef`Deadbeef-9/+3
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