about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2025-09-13Auto merge of #146491 - jdonszelmann:update-fixme-compare_method_predicate_en...bors-8/+3
2025-09-13update fixme in compare_method_predicate_entailment resulting from review of EIIJana Dönszelmann-8/+3
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-16/+20
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-15/+13
2025-09-09Auto merge of #146375 - matthiaskrgr:rollup-utik9zj, r=matthiaskrgrbors-27/+46
2025-09-09Rollup merge of #145929 - Qelxiros:apitit-suggestion, r=BoxyUwUMatthias Krüger-27/+46
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-1/+1
2025-09-08fix APITIT being treated as a normal generic parameter in suggestionsJeremy Smart-27/+46
2025-09-04Rollup merge of #145690 - sayantn:integer-funnel-shift, r=tgross35Jacob Pratt-0/+3
2025-09-04Rollup merge of #145342 - dianne:if-let-super-let, r=nnethercoteStuart Cook-6/+2
2025-09-03Add `funnel_sh{l,r}` functions and intrinsicssayantn-0/+3
2025-09-02stabilize extended_varargs_abi_supportRalf Jung-2/+2
2025-08-22change HIR typeck unification handling approachlcnr-0/+27
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-13fix scope of `super let` bindings within `if let`dianne-6/+2
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