about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2024-04-16Auto merge of #123468 - compiler-errors:precise-capturing, r=oli-obkbors-2/+261
2024-04-16Avoid lots of `hir::HirId{,Map,Set}` qualifiers.Nicholas Nethercote-37/+20
2024-04-16Avoid unnecessary `rustc_span::DUMMY_SP` usage.Nicholas Nethercote-1/+1
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-15redundant ::{self}Michael Goulet-1/+1
2024-04-15Do check_coroutine_obligations once per typeck rootMichael Goulet-36/+11
2024-04-15Rename coroutine_stalled_predicatesMichael Goulet-3/+3
2024-04-16Rollup merge of #123926 - compiler-errors:no-ann, r=estebankLeón Orell Valerian Liehr-4/+4
2024-04-16Rollup merge of #123016 - compiler-errors:no-type-var-origin, r=lcnrLeón Orell Valerian Liehr-5/+5
2024-04-15Fix pretty hir for anon consts in diagnosticsMichael Goulet-4/+4
2024-04-15Remove TypeVariableOriginKindMichael Goulet-5/+5
2024-04-15More polishingMichael Goulet-3/+11
2024-04-15Use a path instead of an ident (and stop manually resolving)Michael Goulet-3/+26
2024-04-15Some ordering and duplication checksMichael Goulet-15/+70
2024-04-15Add hir::Node::PreciseCapturingNonLifetimeArgMichael Goulet-3/+5
2024-04-15Validation and other thingsMichael Goulet-4/+150
2024-04-15Lower and resolve precise captures in HIRMichael Goulet-0/+25
2024-04-15Rollup merge of #123924 - compiler-errors:tuple-sugg, r=estebankMichael Goulet-65/+9
2024-04-14Don't leak unnameable types in -> _ recoverMichael Goulet-17/+12
2024-04-14Consolidate two copies of ty_kind_suggestionMichael Goulet-65/+9
2024-04-14Rollup merge of #123898 - fmease:gci-cmp-impl-item-lt-params, r=compiler-errorsMatthias Krüger-4/+2
2024-04-13Check regions earlier when comparing impl with trait item defLeón Orell Valerian Liehr-4/+2
2024-04-13remove some ancient debug output, looks unused?klensy-3/+0
2024-04-11remove some things that do not need to beMatthias Krüger-1/+1
2024-04-11Rollup merge of #123774 - Lee-Janggun:master, r=lqdMatthias Krüger-1/+1
2024-04-11Rollup merge of #123738 - spastorino:reuse-lower-const-param, r=compiler-errorsMatthias Krüger-5/+6
2024-04-11Call lower_const_param instead of duplicating the codeSantiago Pastorino-5/+6
2024-04-11Rollup merge of #123704 - estebank:diag-changes, r=compiler-errorsMatthias Krüger-11/+62
2024-04-11Fix small typoJanggun Lee-1/+1
2024-04-10Handle more cases of "values to suggest" given a typeEsteban Küber-0/+12
2024-04-10Use suggest_impl_trait in return type suggestionMichael Goulet-42/+56
2024-04-10Handle more cases of value suggestionsEsteban Küber-10/+38
2024-04-10Auto merge of #121346 - m-ou-se:temp-lifetime-if-else-match, r=compiler-errorsbors-0/+13
2024-04-10Rollup merge of #123689 - spastorino:pattern_types_const_generics, r=oli-obkGuillaume Gomez-0/+18
2024-04-09Tweak value suggestions in `borrowck` and `hir_analysis`Esteban Küber-5/+16
2024-04-09Handle const generic pattern typesSantiago Pastorino-0/+18
2024-04-09Clarifying commentMichael Goulet-3/+9
2024-04-09Split back out unused_lifetimes -> redundant_lifetimesMichael Goulet-2/+2
2024-04-09Lint redundant lifetimes in impl headerMichael Goulet-5/+6
2024-04-09Move check to wfcheckMichael Goulet-0/+131
2024-04-09Actually, just reuse the UNUSED_LIFETIMES lintMichael Goulet-26/+0
2024-04-09Silence some follow-up errors on trait impls in case the trait has conflictin...Oli Scherer-2/+8
2024-04-09Auto merge of #123631 - oli-obk:fail_slow, r=jieyouxubors-7/+4
2024-04-09Rollup merge of #123648 - oli-obk:pattern_types_syntax, r=compiler-errorsMatthias Krüger-1/+5
2024-04-08Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnrbors-6/+3
2024-04-08Avoid ICEing without the `pattern_types` feature gateOli Scherer-1/+5
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-6/+3
2024-04-08Ensure we do not accidentally insert new early aborts in the analysis passesOli Scherer-7/+4
2024-04-08Actually create ranged int types in the type system.Oli Scherer-10/+93