about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2025-07-17Auto merge of #144044 - fmease:rollup-kg413pt, r=fmeasebors-4/+9
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-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-0/+3
2025-07-15Implement other logicstiif-5/+9
2025-07-13Ensure proper item queries for assoc tysMichael Goulet-4/+6
2025-07-13Retire hir::ForeignItemRef.Camille GILLOT-14/+16
2025-07-13Generalize TyCtxt::item_name.Camille GILLOT-2/+2
2025-07-13Auto merge of #143213 - dianne:lower-cond-tweaks, r=cjgillotbors-11/+27
2025-07-12Clean up implementation of RPITIT assoc item loweringMichael Goulet-5/+5
2025-07-13query RPITIT in a trait or implbohan-5/+7
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-1/+8
2025-07-07Add `ty_span` queryOli Scherer-16/+11
2025-07-06Rewrite empty attribute lintJonathan Brouwer-4/+3
2025-07-05de-duplicate condition scoping logicdianne-11/+27
2025-07-05Remove yields_in_scope from the scope tree.Camille GILLOT-168/+37
2025-07-04NitsMichael Goulet-1/+1
2025-07-04Same for typesMichael Goulet-1/+1
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-4/+4
2025-07-03compiler: document all provide fn in hir_analysis and hir_typeckJubilee Young-2/+2
2025-07-03compiler: inline 1-2 query provide fn in hir_analysis and hir_typeckJubilee Young-7/+7
2025-06-30Don't run hir wfcheck if ty wfcheck handled everythingOli Scherer-17/+58
2025-06-30Avoid some eager uses of HIR spansOli Scherer-4/+5
2025-06-30Stop requiring HIR for impl item wf checksOli Scherer-11/+11
2025-06-30Stop requiring HIR for trait item wf checksOli Scherer-7/+20
2025-06-30Avoid looking at HIR for trait and impl itemsOli Scherer-23/+7
2025-06-30Avoid eagerly loading the hir fn sigOli Scherer-14/+11
2025-06-30Merge `lower_trait_item` and `lower_impl_item` into `check_item_type`Oli Scherer-4/+26
2025-06-30Merge `lower_item` into `check_item_type`Oli Scherer-14/+75
2025-06-30Move lazy type alias checks to non-hir-wfckOli Scherer-19/+25
2025-06-30Use predicate spans instead of whole item spansOli Scherer-26/+15
2025-06-30Check variances in the non-hir wfcheckerOli Scherer-20/+13
2025-06-30Make variance wfcheck only use the HIR in the error pathOli Scherer-28/+26
2025-06-30Don't look at static items' HIR for wfcheckOli Scherer-43/+29
2025-06-30Unconditionally run `check_item_type` on all itemsOli Scherer-13/+4
2025-06-30Make check_param_wf only go through the HIR in the error pathOli Scherer-25/+25
2025-06-30Stop storing `Span` that is only used for checking for global bounds that do ...Oli Scherer-21/+14
2025-06-29Rollup merge of #142078 - sayantn:more-intrinsics, r=workingjubileeGuillaume Gomez-1/+2
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-5/+5
2025-06-27Report infer ty errors during hir ty loweringOli Scherer-1/+0
2025-06-26Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwUMichael Goulet-1/+3
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-5/+5
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-1/+1
2025-06-25Remove some glob imports from the type systemMichael Goulet-6/+10
2025-06-24Rewrite #[track_caller]Jana Dönszelmann-3/+6
2025-06-23Add note to find_const_ty_from_envMichael Goulet-1/+3
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-28/+4
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