about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/errors.rs
AgeCommit message (Expand)AuthorLines
2024-09-20Add missing diagnostics and flesh out testsMichael Goulet-2/+2
2024-09-20Flesh out some TODOsMichael Goulet-1/+2
2024-09-20Conditionally allow lowering RTN (..) in pathsMichael Goulet-0/+7
2024-09-13Disallow hidden references to mutable staticObei Sideg-51/+0
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-90/+90
2024-08-21Use bool in favor of Option<()> for diagnosticsMichael Goulet-3/+3
2024-07-29Delegation: support generics for delegation from free functionsBryanskiy-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+6
2024-07-23Suggest full trait ref (with placeholders) on unresolved assoc tysLeón Orell Valerian Liehr-4/+5
2024-07-23Inside eager ty aliases on unresolved assoc tys suggest fully qualifying inst...León Orell Valerian Liehr-0/+16
2024-07-23HIR ty lowering: Refactor the way the projectee ("QSelf") gets passed to diag...León Orell Valerian Liehr-3/+3
2024-07-23Suggesting an available assoc item is always maybe-incorrectLeón Orell Valerian Liehr-3/+5
2024-07-21Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-...bors-0/+8
2024-07-19Rollup merge of #127966 - oli-obk:structured_diag, r=compiler-errorsMatthias Krüger-0/+14
2024-07-19Rollup merge of #127814 - folkertdev:c-cmse-nonsecure-call-error-messages, r=...Matthias Krüger-0/+27
2024-07-19Use structured suggestions for unconstrained generic parameters on impl blocksOli Scherer-0/+14
2024-07-18Rollup merge of #127929 - estebank:addr_of, r=compiler-errorsMatthias Krüger-39/+13
2024-07-18Use more accurate span for `addr_of!` suggestionEsteban Küber-39/+13
2024-07-18improve error reportingFolkert-1/+3
2024-07-18move CMSE validation to hir_analysisFolkert-0/+25
2024-07-17Account for structs that have unused params in nested types in fieldsMichael Goulet-0/+2
2024-07-17Mention that type parameters are used recursivelyMichael Goulet-0/+15
2024-07-17Forbid `!Sized` types and referencesBoxy-0/+8
2024-07-08Remove `structured_errors` moduleOli Scherer-0/+1
2024-07-08Remove another `StructuredDiag` implOli Scherer-14/+0
2024-07-04Rollup merge of #127319 - oli-obk:fail2taint, r=compiler-errorsMatthias Krüger-9/+0
2024-07-04Remove a use of `StructuredDiag`, which is incompatible with automatic error ...Oli Scherer-9/+0
2024-07-04Better suggestion span for missing type parameterEsteban Küber-4/+3
2024-06-30Make `feature(effects)` require `-Znext-solver`Deadbeef-0/+6
2024-06-20Slightly refactor the dumping of HIR analysis dataLeón Orell Valerian Liehr-2/+2
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-2/+2
2024-06-12Auto merge of #126319 - workingjubilee:rollup-lendnud, r=workingjubileebors-0/+12
2024-06-12Require any function with a tait in its signature to actually constrain a hid...Oli Scherer-0/+11
2024-06-04Cleanup: HIR ty lowering: Consolidate assoc item access checkingLeón Orell Valerian Liehr-0/+12
2024-05-30Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanupLeón Orell Valerian Liehr-2/+2
2024-05-01Auto merge of #124356 - fmease:fewer-magic-numbers-in-names, r=lcnrbors-0/+10
2024-04-30Replace item names containing an error code with something more meaningfulLeón Orell Valerian Liehr-0/+10
2024-04-30Normalize trait ref before orphan check & consider ty params in alias types t...León Orell Valerian Liehr-5/+30
2024-04-15Validation and other thingsMichael Goulet-0/+3
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+7
2024-04-08Start handling pattern types at the HIR -> Ty conversion boundaryOli Scherer-0/+2
2024-03-29Stop doing so much to handle subdiagnosticsMichael Goulet-43/+1
2024-03-29Stop removing substs from Adt type in coherenceMichael Goulet-1/+14
2024-03-18Rollup merge of #121258 - fmease:assoc-const-eq-reject-overly-generic-tys, r=...Matthias Krüger-0/+38
2024-03-16Rollup merge of #121720 - tmandry:split-refining, r=compiler-errorsLeón Orell Valerian Liehr-0/+1
2024-03-13Reject escaping bound vars in the type of assoc const bindingsLeón Orell Valerian Liehr-0/+15
2024-03-13Reject early-bound params in the type of assoc const bindingsLeón Orell Valerian Liehr-0/+23
2024-03-11Rename `IntoDiagnostic` as `Diagnostic`.Nicholas Nethercote-4/+4
2024-03-08Improve error message for opaque capturesMichael Goulet-0/+12
2024-03-05Split refining_impl_trait lint into _reachable, _internal variantsTyler Mandry-0/+1