about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2024-04-17Auto merge of #123674 - oli-obk:bogus_note, r=estebankbors-2/+8
2024-04-17Rollup merge of #123997 - compiler-errors:self-res, r=fmeaseMatthias Krüger-0/+11
2024-04-17Rollup merge of #122813 - nnethercote:nicer-quals, r=compiler-errorsMatthias Krüger-38/+21
2024-04-16Prefer identity equality over equating types during coercion.Oli Scherer-22/+13
2024-04-16Auto merge of #123468 - compiler-errors:precise-capturing, r=oli-obkbors-2/+242
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-15Delay span bug when Self resolves to DefKind::{Mod,Trait}Michael Goulet-0/+11
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-0/+8
2024-04-15Use a path instead of an ident (and stop manually resolving)Michael Goulet-3/+23
2024-04-15Some ordering and duplication checksMichael Goulet-15/+64
2024-04-15Add hir::Node::PreciseCapturingNonLifetimeArgMichael Goulet-3/+5
2024-04-15Validation and other thingsMichael Goulet-4/+140
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/+128
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/+92