about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2025-09-27Rename various "concrete opaque type" terminology to say "hidden type"Boxy Uwu-2/+2
2025-09-23Make missed precondition-free float intrinsics safeltdk-0/+8
2025-09-22Auto merge of #146683 - clarfonthey:safe-intrinsics, r=RalfJung,Amanieubors-58/+126
2025-09-21Mark float intrinsics with no preconditions as safeltdk-0/+64
2025-09-17Sort safe intrinsic listltdk-58/+62
2025-09-17Rollup merge of #145838 - dianne:non-extending-super-let, r=jackh726,traviscrossStuart Cook-5/+19
2025-09-16Rollup merge of #146442 - Qelxiros:trait-suggestion-generics, r=BoxyUwUMatthias Krüger-11/+33
2025-09-16handle const generics, ?Sized, early bound lifetimesJeremy Smart-11/+33
2025-09-16Rollup merge of #145095 - tiif:unstable_const_param, r=BoxyUwUStuart Cook-12/+1
2025-09-15Remove UnsizedConstParamTy trait and make it into an unstable impltiif-12/+1
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-04don't extend non-extended `super let` initializers' block tail tempsdianne-5/+19
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