about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
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-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-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
2025-08-25change non-defining use error messagelcnr-2/+26
2025-08-25support non-defining uses in HIR typecklcnr-12/+14
2025-08-23Auto merge of #145706 - lcnr:uniquification, r=BoxyUwUbors-11/+18
2025-08-22Rollup merge of #145641 - estebank:point-at-type-in-e0277, r=davidtwcoJacob Pratt-55/+88
2025-08-22On E0277, point at type that doesn't implement boundEsteban Küber-55/+88
2025-08-22change HIR typeck unification handling approachlcnr-11/+18
2025-08-22Add an experimental unsafe(force_target_feature) attribute.Luca Versari-1/+1
2025-08-21Auto merge of #145701 - jhpratt:rollup-a0kg33p, r=jhprattbors-5/+24
2025-08-21Rollup merge of #145642 - xizheyin:145611, r=lcnrJacob Pratt-1/+1
2025-08-21Rollup merge of #145627 - compiler-errors:const-supertrait-dyn-compat, r=fee1...Jacob Pratt-4/+23
2025-08-20Unconditionally-const supertraits are considered not dyn compatibleMichael Goulet-4/+23
2025-08-20Do not use effective_visibilities query for Adt types of a local trait while ...xizheyin-1/+1
2025-08-20handle opaque types before region inferencelcnr-0/+1
2025-08-19Rollup merge of #145537 - zachs18:metasized-negative-bound-fix, r=davidtwco许杰友 Jieyou Xu (Joe)-3/+5
2025-08-19Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors许杰友 Jieyou Xu (Joe)-43/+18
2025-08-17Do not consider a `T: !Sized` candidate to satisfy a `T: !MetaSized` obligation.Zachary S-3/+5
2025-08-17Auto merge of #145284 - nnethercote:type_name-print-regions, r=lcnrbors-4/+4
2025-08-16Add parentheses for closure when suggesting calling closureMu001999-6/+10
2025-08-15Rollup merge of #145235 - compiler-errors:comment, r=BoxyUwUStuart Cook-27/+1
2025-08-15Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkovStuart Cook-4/+36
2025-08-14Print regions in `type_name`.Nicholas Nethercote-4/+4
2025-08-14Rollup merge of #145266 - camsteffen:reduce-queries, r=petrochenkovGuillaume Gomez-1/+1
2025-08-13Rollup merge of #144949 - nnethercote:more-Printer-cleanups, r=davidtwcoGuillaume Gomez-23/+22
2025-08-13Cleanup assoc parent utilsCameron Steffen-1/+1
2025-08-13`fn new_coroutine_witness_for_coroutine` woopslcnr-43/+18
2025-08-12Change the desugaring of `assert!` for better error outputEsteban Küber-4/+36
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-4/+4
2025-08-11Rollup merge of #145194 - compiler-errors:coro-witness-re, r=lcnrStuart Cook-2/+15
2025-08-11Rollup merge of #144156 - compiler-errors:dtorck-upvars, r=lcnrStuart Cook-24/+50
2025-08-11Remove unnecessary UnsatisfiedConst reporting logicMichael Goulet-27/+1
2025-08-10Do not point at macro invocation when providing inference contextEsteban Küber-1/+1
2025-08-10Rollup merge of #145147 - fee1-dead-contrib:push-mxxpmlpmzmsz, r=compiler-errorsStuart Cook-1/+1
2025-08-10Ignore coroutine witness type region args in auto trait confirmationMichael Goulet-2/+15
2025-08-09Auto merge of #145146 - fee1-dead-contrib:push-zmqrkurlzrxy, r=nnethercotebors-1/+1
2025-08-09remove `P`Deadbeef-1/+1
2025-08-09rename `TraitRef::from_method` to `from_assoc`Deadbeef-1/+1
2025-08-09Rollup merge of #145134 - camsteffen:indirect-assoc-parent, r=cjgillotStuart Cook-2/+1
2025-08-08Reduce indirect assoc parent queriesCameron Steffen-2/+1
2025-08-08Check coroutine upvars and in dtorck constraintMichael Goulet-24/+50
2025-08-07Use `tcx.short_string()` in more diagnosticsEsteban Küber-133/+172
2025-08-06Rename some `Printer` methods.Nicholas Nethercote-6/+6
2025-08-05Simplify multiple things.Nicholas Nethercote-14/+13