about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
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
2024-04-08Start handling pattern types at the HIR -> Ty conversion boundaryOli Scherer-2/+21
2024-04-08Thread pattern types through the HIROli Scherer-0/+1
2024-04-04cache type info for ParamEnvLukas Markeffsky-7/+4
2024-04-04Auto merge of #123240 - compiler-errors:assert-args-compat, r=fmeasebors-17/+27
2024-04-03Rollup merge of #123419 - petrochenkov:zeroindex, r=compiler-errorsMatthias Krüger-7/+7
2024-04-03Rollup merge of #122964 - joboet:pointer_expose, r=AmanieuMatthias Krüger-1/+1
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-7/+7
2024-04-03Don't fill non-ty args with ty::ErrorMichael Goulet-17/+27
2024-04-03Rollup merge of #123382 - compiler-errors:assert-fndef-kind, r=fmeaseMatthias Krüger-2/+2
2024-04-03rename `expose_addr` to `expose_provenance`joboet-1/+1
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-1/+1
2024-04-02Rollup merge of #122865 - surechen:refactor_astconv_error_report_20240321, r=...Jacob Pratt-342/+448
2024-04-02Auto merge of #123385 - matthiaskrgr:rollup-v69vjbn, r=matthiaskrgrbors-5/+10
2024-04-02Rollup merge of #123302 - compiler-errors:sized-bound-first, r=estebankMatthias Krüger-2/+8
2024-04-02Rollup merge of #123226 - scottmcm:u32-shifts, r=WaffleLapkinMatthias Krüger-3/+2
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-0/+5