about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2025-08-20make `prefetch` intrinsics safeFolkert de Vries-1/+5
2025-08-14Complete functionality and general cleanupMarcelo Domínguez-2/+1
2025-08-14Basic implementation of `autodiff` intrinsicMarcelo Domínguez-1/+4
2025-08-13Cleanup assoc parent utilsCameron Steffen-5/+4
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-47/+46
2025-08-09Auto merge of #143376 - dianne:guard-scope, r=matthewjasperbors-0/+5
2025-08-08Rollup merge of #144192 - RalfJung:atomicrmw-ptr, r=nikicTrevor Gross-6/+6
2025-08-07only introduce a guard scope for arms with guardsdianne-5/+5
2025-08-07add a scope for `if let` guard temporaries and bindingsdianne-0/+5
2025-08-04Rollup merge of #144694 - compiler-errors:with-self-ty, r=SparrowLiiStuart Cook-1/+1
2025-08-03Auto merge of #144704 - compiler-errors:explode-wf, r=lcnrbors-8/+8
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-1/+1
2025-08-02Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=AmanieuSamuel Tardieu-1/+1
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-9/+9
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-1/+1
2025-07-30expand WF obligations when checking method callsMichael Goulet-8/+8
2025-07-30Distinguish appending and replacing self ty in predicatesMichael Goulet-1/+1
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-6/+8
2025-07-26Do not check Sync during type_of.Camille GILLOT-2/+5
2025-07-25Improve and regularize comment placement in doc codeJosh Triplett-1/+1
2025-07-25Check statics' type in type_of.Camille GILLOT-4/+3
2025-07-24Remove dead code and extend test coverage and diagnostics around itOli Scherer-9/+29
2025-07-23atomicrmw on pointers: move integer-pointer cast hacks into backendRalf Jung-6/+6
2025-07-19rename `emit_unless` to `emit_unless_delay`xizheyin-7/+7
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