about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-09-12Auto merge of #130269 - Zalathar:rollup-coxzt2t, r=Zalatharbors-56/+44
2024-09-12Rollup merge of #130250 - compiler-errors:useless-conversion, r=jieyouxuStuart Cook-2/+2
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-1/+3
2024-09-11clippy::useless_conversionMichael Goulet-2/+2
2024-09-11Also fix if in elseMichael Goulet-30/+23
2024-09-11Simplify some nested if statementsMichael Goulet-24/+19
2024-09-09Rollup merge of #130149 - GrigorenkoPV:lifetime-suggestion, r=cjgillotJubilee-12/+1
2024-09-09Rollup merge of #130137 - gurry:master, r=cjgillotMatthias Krüger-3/+11
2024-09-09Helper function for formatting with `LifetimeSuggestionPosition`Pavel Grigorenko-12/+1
2024-09-09Rollup merge of #130070 - gurry:rename-regionkind-addof-to-ref, r=compiler-er...Jubilee-1/+1
2024-09-09Fix ICE caused by missing span in a region errorGurinder Singh-3/+11
2024-09-07Auto merge of #126161 - Bryanskiy:delegation-generics-4, r=petrochenkovbors-0/+3
2024-09-07Rename variant `AddrOfRegion` of `RegionVariableOrigin` to `BorrowRegion`Gurinder Singh-1/+1
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-12/+26
2024-09-06Auto merge of #121848 - lcnr:stabilize-next-solver, r=compiler-errorsbors-3/+1
2024-09-06Rollup merge of #129969 - GrigorenkoPV:boxed-ty, r=compiler-errorsMatthias Krüger-2/+1
2024-09-06Make `Ty::boxed_ty` return an `Option`Pavel Grigorenko-2/+1
2024-09-05Delegation: support generics in associated delegation itemsBryanskiy-0/+3
2024-09-05stabilize `-Znext-solver=coherence`lcnr-3/+1
2024-09-03Rollup merge of #129896 - lcnr:bail-on-unknowable, r=jackh726Matthias Krüger-72/+66
2024-09-03Rollup merge of #127692 - veera-sivarajan:bugfix-125139, r=estebankMatthias Krüger-4/+12
2024-09-03do not attempt to prove unknowable goalslcnr-72/+66
2024-09-03Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgaubors-16/+17
2024-09-03Add `warn(unreachable_pub)` to `rustc_trait_selection`.Nicholas Nethercote-16/+17
2024-09-02Rollup merge of #129878 - Sajjon:sajjon_fix_typos_batch_3, r=jieyouxuMatthias Krüger-9/+9
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-12/+26
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-9/+9
2024-09-01Revert "Auto merge of #127537 - veluca93:struct_tf, r=BoxyUwU"Jakub Beránek-4/+0
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-3/+48
2024-08-31Rollup merge of #129725 - compiler-errors:predicates-of, r=fmeaseMatthias Krüger-16/+11
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-3/+48
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-16/+11
2024-08-28Rollup merge of #129343 - estebank:time-version, r=jieyouxuJubilee-2/+47
2024-08-28Emit specific message for `time<0.3.35` inference failureEsteban Küber-2/+47
2024-08-28Implement RFC 3525.Luca Versari-0/+4
2024-08-26Rollup merge of #129590 - compiler-errors:ref-tykind, r=fmeaseMatthias Krüger-1/+1
2024-08-26Rollup merge of #129405 - surechen:fix_span_x, r=cjgillotMatthias Krüger-3/+8
2024-08-25Avoid taking reference of &TyKindMichael Goulet-1/+1
2024-08-25Fixing span manipulation and indentation of the suggestion introduced by #126187surechen-3/+8
2024-08-24Rollup merge of #128467 - estebank:unsized-args, r=cjgillotTrevor Gross-7/+42
2024-08-23Auto merge of #129464 - GuillaumeGomez:rollup-ckfqd7h, r=GuillaumeGomezbors-1/+1
2024-08-23Rollup merge of #129437 - gurry:fix-diagnostic-typo, r=jieyouxuGuillaume Gomez-1/+1
2024-08-23Rollup merge of #129386 - cjgillot:local-resolved-arg, r=compiler-errorsMatthias Krüger-4/+4
2024-08-23Fix typo in help diagnosticGurinder Singh-1/+1
2024-08-22Auto merge of #129398 - matthiaskrgr:rollup-50l01ry, r=matthiaskrgrbors-20/+4
2024-08-22Auto merge of #129365 - matthiaskrgr:rollup-ebwx6ya, r=matthiaskrgrbors-6/+26
2024-08-22Do not rely on names to find lifetimes.Camille GILLOT-20/+4
2024-08-22Use a LocalDefId in ResolvedArg.Camille GILLOT-4/+4
2024-08-21Point at explicit `'static` obligations on a traitEsteban Küber-6/+26
2024-08-21Rollup merge of #129345 - compiler-errors:scratch4, r=jieyouxuMatthias Krüger-1/+1