about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
AgeCommit message (Expand)AuthorLines
2025-09-27Rename various "concrete opaque type" terminology to say "hidden type"Boxy Uwu-2/+2
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-9/+6
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-6/+6
2025-09-02stabilize extended_varargs_abi_supportRalf Jung-1/+1
2025-08-22change HIR typeck unification handling approachlcnr-0/+26
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-7/+7
2025-07-27check_static_item: explain should_check_for_sync choicesRalf Jung-1/+3
2025-07-27Rollup merge of #144226 - cjgillot:known-panics-panics, r=oli-obkMatthias Krüger-1/+2
2025-07-26Do not check Sync during type_of.Camille GILLOT-0/+2
2025-07-25Check statics' type in type_of.Camille GILLOT-1/+0
2025-07-24Remove dead code and extend test coverage and diagnostics around itOli Scherer-9/+29
2025-07-17Rollup merge of #143895 - compiler-errors:trait-wc-item-bound-host-eff, r=oli...León Orell Valerian Liehr-4/+6
2025-07-13Ensure proper item queries for assoc tysMichael Goulet-4/+6
2025-07-13Retire hir::ForeignItemRef.Camille GILLOT-14/+16
2025-07-07Add `ty_span` queryOli Scherer-6/+5
2025-07-06Rewrite empty attribute lintJonathan Brouwer-4/+3
2025-06-30Don't run hir wfcheck if ty wfcheck handled everythingOli Scherer-5/+53
2025-06-30Stop requiring HIR for impl item wf checksOli Scherer-1/+5
2025-06-30Stop requiring HIR for trait item wf checksOli Scherer-1/+16
2025-06-30Merge `lower_trait_item` and `lower_impl_item` into `check_item_type`Oli Scherer-0/+26
2025-06-30Merge `lower_item` into `check_item_type`Oli Scherer-13/+75
2025-06-30Move lazy type alias checks to non-hir-wfckOli Scherer-3/+18
2025-06-30Check variances in the non-hir wfcheckerOli Scherer-0/+7
2025-06-30Don't look at static items' HIR for wfcheckOli Scherer-9/+8
2025-06-30Unconditionally run `check_item_type` on all itemsOli Scherer-4/+0
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-1/+1
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-1/+1
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-1/+1
2025-06-23unsupported_calling_conventions: print which ABI this is aboutRalf Jung-1/+3
2025-06-23Clarify note in rustc_ast_lowering still appliesJubilee Young-2/+3
2025-06-23compiler: Remove unsupported_fn_ptr_calling_conventions lintJubilee Young-26/+2
2025-06-23hir_analysis: Avoid repeating unsupported ABI errorsJubilee Young-8/+2
2025-06-23move naked checks out of check_attr.rsJana Dönszelmann-1/+0
2025-06-23rewrite #[naked] parserJana Dönszelmann-1/+2
2025-06-21Port `#[rustc_pub_transparent]` to the new attribute systemPavel Grigorenko-1/+6
2025-06-12add `extern "custom"` functionsFolkert de Vries-1/+13
2025-06-09hir_analysis: Elaborate on lint strategy for unsupported ABIsJubilee-1/+3
2025-06-09compiler: Fix reusing same lint on fn ptrs with newly-deprecated ABIsJubilee Young-16/+24
2025-06-09Auto merge of #141435 - RalfJung:unsupported_calling_conventions, r=workingju...bors-18/+51
2025-06-08add specific help messages for stdcall and cdeclRalf Jung-4/+22
2025-06-08add (back) unsupported_calling_conventions lint to reject more invalid callin...Ralf Jung-17/+32
2025-06-08Auto merge of #142074 - oli-obk:its-finally-gone, r=petrochenkovbors-0/+42
2025-06-06Rollup merge of #142103 - scottmcm:fieldidx-in-interp, r=oli-obkGuillaume Gomez-1/+1
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-1/+1
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-1/+1
2025-06-05wfcheck closuresOli Scherer-0/+9
2025-06-05Move generic arg checks from the hir item types visitor to ty wfcheckOli Scherer-1/+23
2025-06-05Move opaque type checks from the hir item types visitor onto the wfcheck of t...Oli Scherer-0/+11
2025-05-28Stabilise `repr128`beetrees-14/+1
2025-05-27Rename unpack to kindMichael Goulet-2/+2