summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-1/+3
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-2/+18
2024-11-19additional `TypingEnv` cleanupslcnr-3/+3
2024-11-19Implement ~const opaquesMichael Goulet-0/+2
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-1/+1
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-11/+16
2024-11-18reviewlcnr-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-12/+15
2024-11-17Rollup merge of #132795 - compiler-errors:refine-rpitit, r=lcnrJacob Pratt-1/+101
2024-11-18Check use<..> in RPITIT for refinementMichael Goulet-1/+101
2024-11-17Likely unlikely fixJiri Bobek-4/+2
2024-11-11Simplify some places that deal with generic parameter defaultsLeón Orell Valerian Liehr-75/+23
2024-11-08Rollup merge of #132757 - compiler-errors:yeet-check-wf, r=lcnrJubilee-19/+136
2024-11-08remove support for rustc_safe_intrinsic attribute; use rustc_intrinsic functi...Ralf Jung-5/+3
2024-11-08Manually register some bounds for a better spanMichael Goulet-8/+37
2024-11-08Get rid of check_opaque_type_well_formedMichael Goulet-17/+105
2024-11-07Rollup merge of #132734 - RalfJung:platform-intrinsic, r=compiler-errorsMatthias Krüger-2/+1
2024-11-07 remove 'platform-intrinsic' ABI leftoversRalf Jung-2/+1
2024-11-05Remove unused errs.rs fileEric Huss-88/+0
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-9/+14
2024-11-04ty::KContainer -> ty::AssocItemContainer::KMichael Goulet-9/+9
2024-11-03Rollup merge of #132574 - workingjubilee:abi-in-compiler, r=compiler-errorsJubilee-17/+16
2024-11-03compiler: Directly use rustc_abi in hir_{analysis,typeck}Jubilee Young-17/+16
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+0
2024-10-31Auto merge of #131186 - compiler-errors:precise-capturing-borrowck, r=estebankbors-2/+2
2024-10-31Encode cross-crate opaque type originMichael Goulet-2/+2
2024-10-31Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgrbors-3/+2
2024-10-30Remove dead code stemming from the old effects desugaringLeón Orell Valerian Liehr-3/+2
2024-10-30Rollup merge of #132344 - compiler-errors:same-thing, r=lcnrJubilee-6/+6
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-6/+6
2024-10-30Switch to comparing indices instead of names.Adrian Taylor-28/+11
2024-10-30Reject generic self types.Adrian Taylor-13/+73
2024-10-30Rollup merge of #131856 - lcnr:typing-mode, r=compiler-errorsMatthias Krüger-22/+24
2024-10-29Rollup merge of #131984 - dingxiangfei2009:stabilize-if-let-rescope, r=travis...Matthias Krüger-4/+2
2024-10-29TypingMode :thinking:lcnr-22/+24
2024-10-28Rollup merge of #132255 - workingjubilee:layout-is-🏚️, r=compiler-errorsJubilee-1/+1
2024-10-28Rollup merge of #132249 - workingjubilee:add-rustc-abi, r=compiler-errorsJubilee-3/+3
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1
2024-10-27compiler: Add rustc_abi dependence to the compilerJubilee Young-3/+3
2024-10-27Remove ObligationCause::span() methodMichael Goulet-3/+3
2024-10-24Auto merge of #132116 - matthiaskrgr:rollup-3a0ia4r, r=matthiaskrgrbors-3/+1
2024-10-24Rollup merge of #131983 - dingxiangfei2009:stabilize-shorter-tail-lifetimes, ...Matthias Krüger-3/+1
2024-10-24Be better at enforcing that const_conditions is only called on const itemsMichael Goulet-11/+12
2024-10-24Implement const effect predicate in new solverMichael Goulet-9/+138
2024-10-24Remove associated type based effects logicMichael Goulet-13/+2
2024-10-24Rollup merge of #131756 - compiler-errors:deeply-normalize-type-err, r=lcnrStuart Cook-8/+11
2024-10-24Rollup merge of #130225 - adetaylor:rename-old-receiver, r=wesleywiserStuart Cook-1/+1
2024-10-24Plumb through param_env to note_type_errMichael Goulet-8/+11
2024-10-24stabilize if_let_rescopeDing Xiang Fei-4/+2
2024-10-23Rollup merge of #131979 - compiler-errors:compare-pred-entail, r=fmeaseLeón Orell Valerian Liehr-91/+66