about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2025-09-26allow method calls on opaqueslcnr-2/+9
2025-09-25Auto merge of #146919 - lcnr:yeet-fast-path, r=fee1-deadbors-13/+1
2025-09-24Rollup merge of #146971 - lcnr:fix-writeback, r=BoxyUwUMatthias Krüger-3/+3
2025-09-24Improve derive suggestion of const paramtiif-4/+7
2025-09-24imrpove type_op failure ICElcnr-3/+3
2025-09-23yeet fastpathlcnr-13/+1
2025-09-18move `mod canonical` out of `eval_ctxt`lcnr-2/+2
2025-09-18Auto merge of #146727 - matthiaskrgr:rollup-98812uj, r=matthiaskrgrbors-0/+4
2025-09-18Rollup merge of #146597 - modhanami:add-struct-tail-recursion-limit-span, r=o...Matthias Krüger-0/+1
2025-09-18Rollup merge of #146434 - folkertdev:c-variadic-inherent-methods, r=workingju...Matthias Krüger-0/+3
2025-09-18Auto merge of #145993 - lcnr:allow-calling-opaques, r=BoxyUwUbors-17/+38
2025-09-18support calls on opaque types :<lcnr-17/+38
2025-09-18Rollup merge of #146664 - fmease:clean-up-dyn, r=jdonszelmannStuart Cook-31/+25
2025-09-17Rollup merge of #146581 - estebank:issue-146489, r=lcnrStuart Cook-3/+10
2025-09-17Remove `DynKind`León Orell Valerian Liehr-31/+25
2025-09-16fmtEsteban Küber-2/+3
2025-09-16Add span for struct tail recursion limit errorTawan Muadmuenwai-0/+1
2025-09-16Rollup merge of #145095 - tiif:unstable_const_param, r=BoxyUwUStuart Cook-15/+23
2025-09-15Silence inference error on `PatKind::Err`Esteban Küber-2/+8
2025-09-15Add check to make sure ConstParamTy impls of certain types are gated with #[u...tiif-15/+23
2025-09-13Auto merge of #145186 - camsteffen:assoc-impl-kind, r=petrochenkovbors-12/+10
2025-09-13Rollup merge of #146403 - cyrgani:array-sugg-sorting, r=fee1-deadJana Dönszelmann-3/+15
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-8/+6
2025-09-12Introduce hir::ImplItemImplKindCameron Steffen-1/+1
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-6/+6
2025-09-12sort array trait implementation suggestions correctlycyrgani-3/+15
2025-09-11c-variadic: allow trait methods to be c-variadicFolkert de Vries-0/+3
2025-09-11Revert "Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkov"Jieyou Xu-36/+4
2025-09-09Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnrbors-16/+23
2025-09-09Driveby fixesBoxy-0/+2
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-16/+21
2025-09-09Rollup merge of #145819 - jdonszelmann:convert-limits, r=fmeaseStuart Cook-2/+2
2025-09-08fixup limit handling codeJana Dönszelmann-2/+2
2025-09-08reviewlcnr-2/+3
2025-09-08optimize `CanonicalVarValues::instantiate`lcnr-3/+2
2025-09-08pass `sub_relations` into canonical querieslcnr-2/+3
2025-09-08eagerly compute `sub_relations` againlcnr-98/+7
2025-09-06Rollup merge of #144801 - estebank:issue-144734, r=spastorinoMatthias Krüger-10/+68
2025-09-05remove couple of clonesMatthias Krüger-1/+1
2025-09-02Auto merge of #145951 - lcnr:proof-tree-as-query, r=compiler-errorsbors-12/+22
2025-09-02Revert introduction of `[workspace.dependencies]`.Nicholas Nethercote-3/+3
2025-08-31Split `ObligationCauseCode::BinOp` for unops to `UnOp`Esteban Küber-19/+12
2025-08-30Detect negative literal inferred to unsigned integerEsteban Küber-1/+40
2025-08-29cleanup proof tree implementation and add cachelcnr-12/+22
2025-08-28Auto merge of #145807 - zachs18:only-consider-auto-traits-empty, r=compiler-e...bors-1/+6
2025-08-27Add `itertools` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-27Add `tracing` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-27Add `thin-vec` to newly added `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-26Rollup merge of #145481 - mu001999-contrib:fix/closure-sugg, r=SparrowLiiGuillaume Gomez-6/+10
2025-08-25Only consider auto traits empty for the purposes of omitting vptrs from subtr...Zachary S-1/+6