about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-3/+3
2025-10-01Rollup merge of #146593 - Jules-Bertholet:restrict-e0719, r=BoxyUwUMatthias Krüger-20/+40
2025-09-30Split Bound into Canonical and Boundjackh726-3/+3
2025-09-30Rollup merge of #146649 - folkertdev:cmse-call-erase-regions, r=lcnrStuart Cook-0/+1
2025-09-29Add `overlapping_assoc_constraints` param to `lower_bounds`Jules Bertholet-1/+4
2025-09-28remove explicit deref of AbiAlign for most methodsJubilee Young-1/+1
2025-09-25Rollup merge of #146667 - calebzulawski:simd-mono-lane-limit, r=lcnr,RalfJungStuart Cook-0/+1
2025-09-24Address review commentsJules Bertholet-7/+22
2025-09-23Add an attribute to check the number of lanes in a SIMD vector after monomorp...Caleb Zulawski-0/+1
2025-09-21Rollup merge of #146551 - folkertdev:cmse-entry-c-variadic, r=workingjubileeStuart Cook-0/+6
2025-09-18Enforce E0719 only for trait aliasesJules Bertholet-17/+19
2025-09-17Merge modules dyn_compatibility and lint into dyn_traitLeón Orell Valerian Liehr-550/+550
2025-09-17Remove `DynKind`León Orell Valerian Liehr-10/+4
2025-09-16cmse: fix 'region variables should not be hashed'Folkert de Vries-0/+1
2025-09-16fix issue with `cmse-nonsecure-entry` ABI being both async and c-variadicFolkert de Vries-0/+6
2025-09-10Default auto traits: revert to the default supertraitsBryanskiy-129/+15
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-1/+1
2025-09-02Rollup merge of #146102 - fmease:rm-dead-eff-code-iii, r=fee1-deadGuillaume Gomez-8/+1
2025-09-02stabilize extended_varargs_abi_supportRalf Jung-2/+2
2025-09-01Remove dead code stemming from an old effects desugaringLeón Orell Valerian Liehr-8/+1
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-4/+4
2025-08-11Rollup merge of #135331 - fmease:ban-assoc-ty-unbounds, r=lcnrStuart Cook-5/+3
2025-08-09Rollup merge of #145134 - camsteffen:indirect-assoc-parent, r=cjgillotStuart Cook-1/+1
2025-08-08Reduce indirect assoc parent queriesCameron Steffen-1/+1
2025-08-07Use `tcx.short_string()` in more diagnosticsEsteban Küber-2/+3
2025-08-04Rollup merge of #144694 - compiler-errors:with-self-ty, r=SparrowLiiStuart Cook-2/+2
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-4/+6
2025-07-31Deduplicate `IntTy`/`UintTy`/`FloatTy`.Nicholas Nethercote-3/+3
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-4/+6
2025-07-30Distinguish appending and replacing self ty in predicatesMichael Goulet-2/+2
2025-07-28Rename impl_of_method -> impl_of_assocCameron Steffen-1/+1
2025-07-28use let chains in ast, borrowck, codegen, const_evalKivooeo-12/+8
2025-07-23Don't suggest assoc ty bound on non-angle-bracketed problematic assoc ty bindingLeón Orell Valerian Liehr-3/+16
2025-07-20Reject relaxed bounds inside associated type boundsLeón Orell Valerian Liehr-5/+3
2025-07-20Rollup merge of #144142 - compiler-errors:itib, r=fmeaseMatthias Krüger-0/+8
2025-07-19Auto merge of #144166 - matthiaskrgr:rollup-wccepuo, r=matthiaskrgrbors-1/+1
2025-07-19rename `emit_unless` to `emit_unless_delay`xizheyin-1/+1
2025-07-18Add implicit sized bound to trait ascription typesMichael Goulet-0/+8
2025-07-18HIR ty lowering: Validate `PointeeSized` boundsLeón Orell Valerian Liehr-65/+34
2025-07-18Don't reject *multiple* relaxed bounds, reject *duplicate* ones.León Orell Valerian Liehr-14/+12
2025-07-18Reword diagnostic about relaxing non-`Sized` boundLeón Orell Valerian Liehr-32/+42
2025-07-18HIR ty lowering: Validate relaxed bounds in trait object typesLeón Orell Valerian Liehr-3/+0
2025-07-18HIR ty lowering: Simplify signature of `lower_poly_trait_ref`León Orell Valerian Liehr-26/+17
2025-07-17parse `const trait Trait`Deadbeef-1/+1
2025-07-14Preserve constness in trait objects up to hir ty loweringOli Scherer-1/+1
2025-07-12Clean up implementation of RPITIT assoc item loweringMichael Goulet-2/+2
2025-07-13query RPITIT in a trait or implbohan-2/+2
2025-07-06compiler: rename {ast,hir}::BareFn* to FnPtr*Jubilee Young-19/+19
2025-07-04NitsMichael Goulet-1/+1
2025-07-04Same for typesMichael Goulet-3/+2