about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-2/+2
2024-11-30Move refinement check out of compare_impl_itemMichael Goulet-9/+20
2024-11-30Make compare_impl_item into a queryMichael Goulet-47/+45
2024-11-28support revealing defined opaque post borrowcklcnr-3/+11
2024-11-28uplift fold_regions to rustc_type_irlcnr-2/+2
2024-11-28Rollup merge of #133428 - compiler-errors:rpitit-unsound, r=lcnrGuillaume Gomez-27/+21
2024-11-27Further simplificationsMichael Goulet-21/+15
2024-11-26Auto merge of #132894 - frank-king:feature/where-refactor, r=cjgillotbors-6/+6
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-6/+6
2024-11-25Rollup merge of #131664 - taiki-e:s390x-asm-vreg-inout, r=AmanieuMatthias Krüger-11/+27
2024-11-24Actually use placeholder regions for trait method late bound regions in colle...Michael Goulet-6/+6
2024-11-24Make s390x non-clobber-only vector register support unstableTaiki Endo-11/+27
2024-11-23Add simd_relaxed_fma intrinsicCaleb Zulawski-1/+3
2024-11-23no more Reveal :(lcnr-9/+9
2024-11-21Implement the unsafe-fields RFC.Luca Versari-32/+72
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