about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-07-20Rollup merge of #144216 - Nadrieril:revert-pin-hack, r=compiler-errorsJacob Pratt-16/+0
2025-07-20Don't consider unstable fields always-inhabitedNadrieril-16/+0
2025-07-20Rollup merge of #144148 - compiler-errors:async-print-hack, r=lqdMatthias Krüger-25/+1
2025-07-18Remove pretty print hack for async blocksMichael Goulet-25/+1
2025-07-18Auto merge of #143845 - cjgillot:stability-query, r=jieyouxubors-5/+1
2025-07-18Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obkbors-1/+19
2025-07-17Retire stability_index query.Camille GILLOT-5/+1
2025-07-17Auto merge of #141762 - compiler-errors:witnesser, r=lcnrbors-11/+7
2025-07-17Eagerly unify coroutine witness in old solverMichael Goulet-11/+7
2025-07-17parse `const trait Trait`Deadbeef-1/+1
2025-07-17Auto merge of #144044 - fmease:rollup-kg413pt, r=fmeasebors-1/+1
2025-07-17Auto merge of #140399 - tiif:unstable_impl, r=lcnr,BoxyUwUbors-0/+12
2025-07-17Use `join_path_syms` in one more place.Nicholas Nethercote-1/+1
2025-07-16resolve: Merge `NameBindingKind::Module` into `NameBindingKind::Res`Vadim Petrochenkov-3/+1
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-7/+8
2025-07-15Deduce outlives obligations from WF of coroutine interior typesMichael Goulet-0/+11
2025-07-15Add outlives to CoroutineWitnessTypesMichael Goulet-0/+6
2025-07-15Implement other logicstiif-0/+5
2025-07-15Add the core logic in old and new solverstiif-0/+7
2025-07-15Define datastructures for `#[cfg]` attribute, move StrippedCfgItemJonathan Brouwer-3/+2
2025-07-14Auto merge of #143779 - JonathanBrouwer:automatically_derived_parser, r=oli-obkbors-2/+2
2025-07-13Generalize TyCtxt::item_name.Camille GILLOT-5/+9
2025-07-13Remove hir::AssocItemKind.Camille GILLOT-0/+10
2025-07-12Clean up implementation of RPITIT assoc item loweringMichael Goulet-21/+23
2025-07-13query RPITIT in a trait or implbohan-2/+23
2025-07-12Port `#[automatically_derived]` to the new attribute parsing infrastructureJonathan Brouwer-2/+2
2025-07-11Rollup merge of #143716 - workingjubilee:document-some-codegen-backend-stuff,...Matthias Krüger-8/+6
2025-07-11Rollup merge of #143403 - GrigorenkoPV:attributes/traits, r=jdonszelmannMatthias Krüger-11/+8
2025-07-10Rollup merge of #143744 - fmease:lta-expand-proper-depth, r=compiler-errorsTrevor Gross-2/+4
2025-07-10Properly track the depth when expanding free alias typesLeón Orell Valerian Liehr-2/+4
2025-07-09compiler: recomment `needs_fn_once_adapter_shim`Jubilee Young-8/+6
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-0/+1
2025-07-09Port `#[fundamental]` to the new attribute systemPavel Grigorenko-2/+1
2025-07-09Port `#[type_const]` to the new attribute systemPavel Grigorenko-2/+3
2025-07-09Port `#[const_trait]` to the new attribute systemPavel Grigorenko-7/+4
2025-07-07Auto merge of #143182 - xdoardo:more-addrspace, r=workingjubileebors-7/+7
2025-07-07compiler: Parse `p-` specs in datalayout string, allow definition of custom d...Edoardo Marangoni-7/+7
2025-07-06Rewrite empty attribute lintJonathan Brouwer-5/+2
2025-07-05Auto merge of #139598 - compiler-errors:no-bound-var-symbol, r=WaffleLapkinbors-145/+109
2025-07-05Rollup merge of #143372 - cjgillot:bare-glob-map, r=petrochenkovMatthias Krüger-4/+0
2025-07-05Rollup merge of #143085 - JonathanBrouwer:non_exhaustive_parser, r=jdonszelmannMatthias Krüger-1/+4
2025-07-04Port `#[non_exhaustive]` to the new attribute parsing infrastructureJonathan Brouwer-1/+4
2025-07-04NitsMichael Goulet-1/+1
2025-07-04Fix elided lifetimes in rustdocMichael Goulet-4/+4
2025-07-04Fix pretty printing of placeholder typesMichael Goulet-8/+12
2025-07-04Same for typesMichael Goulet-6/+6
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-130/+90
2025-07-04Auto merge of #114669 - cjgillot:metadata-wp, r=petrochenkovbors-0/+4
2025-07-04Rollup merge of #143308 - compiler-errors:no-pointer-like, r=oli-obkMatthias Krüger-5/+9
2025-07-04Reuse metadata file from work products.Camille GILLOT-0/+4