summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
AgeCommit message (Expand)AuthorLines
2024-07-17Account for structs that have unused params in nested types in fieldsMichael Goulet-0/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-2/+2
2024-06-28temporarily disable effects on specialization testsDeadbeef-0/+1
2024-06-28implement new effects desugaringDeadbeef-1/+1
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-1/+1
2024-06-17Rework precise capturing syntaxMichael Goulet-2/+5
2024-06-06Uplift TypeErrorMichael Goulet-0/+1
2024-06-04Handle safety keyword for extern block inner itemsSantiago Pastorino-1/+1
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-2/+2
2024-05-27Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercotebors-10/+8
2024-05-24Remove `DefId` from `EarlyParamRegion` (type system)Boxy-10/+5
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-10/+8
2024-05-13Warn against redundant use<...>Michael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-4/+4
2024-04-23Rollup merge of #123993 - compiler-errors:coroutine-obl, r=lcnrLeón Orell Valerian Liehr-36/+11
2024-04-20Explicitly mention `Self`Michael Goulet-6/+14
2024-04-20Flip spans for precise capturing syntax not capturing a ty/ct paramMichael Goulet-11/+18
2024-04-19Fix capturing duplicated lifetimes via parentMichael Goulet-7/+30
2024-04-17Auto merge of #123674 - oli-obk:bogus_note, r=estebankbors-2/+8
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-15More polishingMichael Goulet-0/+8
2024-04-15Some ordering and duplication checksMichael Goulet-14/+43
2024-04-15Add hir::Node::PreciseCapturingNonLifetimeArgMichael Goulet-1/+3
2024-04-15Validation and other thingsMichael Goulet-2/+93
2024-04-13remove some ancient debug output, looks unused?klensy-1/+0
2024-04-11Rollup merge of #123704 - estebank:diag-changes, r=compiler-errorsMatthias Krüger-1/+0
2024-04-09Tweak value suggestions in `borrowck` and `hir_analysis`Esteban Küber-1/+0
2024-04-09Silence some follow-up errors on trait impls in case the trait has conflictin...Oli Scherer-2/+8
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-6/+3
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-1/+1
2024-04-01Use the `Align` type when parsing alignment attributesbeetrees-1/+1
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-1/+4
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-3/+3
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-2/+2
2024-03-13Delay a bug for stranded opaquesMichael Goulet-1/+7
2024-03-12Manual rustfmtOli Scherer-1/+1
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-2/+2
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-2/+2
2024-03-08Rename some functions to represent their generalized behaviorMichael Goulet-1/+1
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-10/+11
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-11/+8
2024-03-06Auto merge of #121679 - lcnr:opaque-wf-check-2, r=oli-obkbors-32/+24
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-3/+2
2024-03-04Return a struct from `query intrinsic` to be able to add another field in the...Oli Scherer-2/+2
2024-02-29Overhaul how stashed diagnostics work, again.Nicholas Nethercote-2/+1
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-27yeet now unnecessary special-caselcnr-18/+5