about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
AgeCommit message (Expand)AuthorLines
2024-04-17Auto merge of #123674 - oli-obk:bogus_note, r=estebankbors-2/+8
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
2024-02-27use typeck root when checking closure obliglcnr-1/+3
2024-02-27wf-check RPITslcnr-18/+21
2024-02-25remove platform-intrinsics ABI; make SIMD intrinsics be regular intrinsicsRalf Jung-11/+0
2024-02-22Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnrMatthias Krüger-1/+1
2024-02-22`report_mismatch` did not actually report anymoreOli Scherer-1/+1
2024-02-22Avoid emitting type mismatches against `{type error}`Oli Scherer-1/+1
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-4/+3
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-1/+1
2024-02-18Auto merge of #117772 - surechen:for_117448, r=petrochenkovbors-2/+1
2024-02-18By tracking import use types to check whether it is scope uses or the other s...surechen-2/+1
2024-02-17Add more checks for `unnamed_field` during HIR analysisclubby789-10/+13
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-5/+25
2024-02-15Auto merge of #120931 - chenyukang:yukang-cleanup-hashmap, r=michaelwoeristerbors-1/+1
2024-02-14clean up potential_query_instability with FxIndexMap and UnordMapyukang-1/+1
2024-02-13Auto merge of #120919 - oli-obk:impl_polarity, r=compiler-errorsbors-10/+14
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-3/+3
2024-02-12Check signature of intrinsics with fallback bodiesOli Scherer-2/+19
2024-02-12Make check_intrinsic_type not require ForeignItems anymoreOli Scherer-4/+7
2024-02-12Stop calling `impl_polarity` when `impl_trait_ref` was also calledOli Scherer-10/+14
2024-02-12Dejargnonize substShoyu Vanilla-3/+3
2024-02-12Improve some codes according to the reviewsFrank King-1/+5
2024-02-12Check representation of unnamed fieldsFrank King-0/+49