about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2024-07-18More accurate span for type parameter suggestionEsteban Küber-3/+5
2024-07-17Fix associated item removal suggestionEsteban Küber-8/+6
2024-07-17Account for self ty aliasMichael Goulet-6/+11
2024-07-17Mention that type parameters are used recursivelyMichael Goulet-21/+82
2024-07-17Add cross-crate precise capturing support to rustdocMichael Goulet-0/+21
2024-07-17Split part of `adt_const_params` into `unsized_const_params`Boxy-28/+52
2024-07-17Forbid `!Sized` types and referencesBoxy-12/+58
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-41/+74
2024-07-16Use `ConstArg` for const param defaultsNoah Lev-4/+7
2024-07-16Use `ConstArg` for array lengthsNoah Lev-1/+1
2024-07-16Use `ConstArg` for assoc item constraintsNoah Lev-12/+21
2024-07-16Setup ty::Const functions for `ConstArg`Noah Lev-7/+4
2024-07-16hir: Create `hir::ConstArgKind` enumNoah Lev-8/+11
2024-07-15Move rustc_infer::infer::error_reporting to rustc_infer::error_reporting::inferMichael Goulet-1/+1
2024-07-15make invalid_type_param_default lint show up in cargo future-compat reportsRalf Jung-2/+0
2024-07-14find_field does not need to be a query.Camille GILLOT-19/+0
2024-07-11Auto merge of #127575 - chenyukang:yukang-fix-struct-fields-ice, r=compiler-e...bors-1/+4
2024-07-11report pat no field error no recoverd struct variantyukang-1/+4
2024-07-10Rollup merge of #127094 - Borgerr:E0191-suggestion-correction, r=fmeaseMatthias Krüger-1/+13
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-182/+194
2024-07-09Auto merge of #127493 - compiler-errors:crate-level-import, r=lcnrbors-13/+13
2024-07-09Remove HirTyLowerer::set_tainted_by_errors, since it is now redundantOli Scherer-91/+96
2024-07-09Automatically taint when reporting errors from ItemCtxtOli Scherer-94/+101
2024-07-09Auto merge of #127200 - fee1-dead-contrib:trait_def_const_trait, r=compiler-e...bors-12/+12
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-13/+13
2024-07-08Remove `structured_errors` moduleOli Scherer-5/+2
2024-07-08Remove `StructuredDiag`Oli Scherer-78/+43
2024-07-08Remove another `StructuredDiag` implOli Scherer-77/+1
2024-07-08Rollup merge of #127452 - fee1-dead-contrib:fx-intrinsic-counting, r=fmease许杰友 Jieyou Xu (Joe)-6/+12
2024-07-08Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr许杰友 Jieyou Xu (Joe)-12/+11
2024-07-08Rollup merge of #127437 - compiler-errors:uplift-trait-ref-is-knowable, r=lcnr许杰友 Jieyou Xu (Joe)-8/+10
2024-07-07Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnrbors-49/+44
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-8/+8
2024-07-07Add fundamental to trait defMichael Goulet-0/+2
2024-07-07Fix intrinsic const parameter counting with `effects`Deadbeef-6/+12
2024-07-07iter_identity is a better nameMichael Goulet-12/+11
2024-07-06Import via rustc_type_ir::outlivesMichael Goulet-1/+1
2024-07-05Rollup merge of #127392 - estebank:arg-type, r=jieyouxuJubilee-3/+3
2024-07-05Use verbose suggestion for changing arg typeEsteban Küber-3/+3
2024-07-05Rework receiver_is_validMichael Goulet-50/+42
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-9/+4
2024-07-05Process alias-relate obligations when proving receiver_is_validMichael Goulet-1/+9
2024-07-05Use `ControlFlow` results for visitors that are only looking for a single valueOli Scherer-42/+32
2024-07-04Rollup merge of #127319 - oli-obk:fail2taint, r=compiler-errorsMatthias Krüger-71/+1
2024-07-04Remove a use of `StructuredDiag`, which is incompatible with automatic error ...Oli Scherer-71/+1
2024-07-04Better suggestion span for missing type parameterEsteban Küber-4/+3
2024-07-03Add `constness` to `TraitDef`Deadbeef-12/+12
2024-07-02Rewrite dropckBoxy-9/+25
2024-07-01Rollup merge of #127181 - BoxyUwU:dump_def_parents, r=compiler-errorsMatthias Krüger-1/+50