about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2023-08-01Rename `maybe_suggest_convert_to_slice` fn name to consistent namingUrgau-3/+3
2023-08-01Fix invalid slice coercion suggestion reported in turbofishUrgau-0/+9
2023-07-31Rollup merge of #114200 - compiler-errors:detect-tail-unsize-then-upcast, r=lcnrMatthias Krüger-5/+20
2023-07-31Rollup merge of #114169 - lcnr:unsize, r=compiler-errorsMatthias Krüger-218/+258
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-153/+128
2023-07-29Detect trait upcasting through struct tail unsizingMichael Goulet-5/+20
2023-07-29Bubble up nested goals from equation in predicates_for_object_candidateMichael Goulet-23/+24
2023-07-29Auto merge of #111916 - fee1-dead-contrib:noop-method-call-warn, r=compiler-e...bors-2/+1
2023-07-28Lower generic const items to HIRLeón Orell Valerian Liehr-0/+2
2023-07-28dropck_outlives commentslcnr-10/+0
2023-07-28fix commentlcnr-2/+2
2023-07-28refactor builtin unsize handling, extend commentslcnr-217/+257
2023-07-28Auto merge of #113312 - Ddystopia:auto-trait-fun, r=lcnrbors-14/+77
2023-07-28Auto merge of #114134 - fee1-dead-contrib:rm-constness-from-param-env, r=oli-obkbors-115/+30
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-115/+30
2023-07-27Rollup merge of #114117 - compiler-errors:return-to-uniq, r=lcnrGuillaume Gomez-12/+15
2023-07-27Auto merge of #114080 - compiler-errors:negative, r=spastorinobors-1/+1
2023-07-27Consider a goal as NOT changed if its response is identity modulo regionsMichael Goulet-1/+1
2023-07-27Revert "don't uniquify regions when canonicalizing"Michael Goulet-11/+14
2023-07-26Don't treat negative trait predicates as always knowableMichael Goulet-1/+1
2023-07-25Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnrMatthias Krüger-0/+1
2023-07-25Make everything builtin!Michael Goulet-328/+274
2023-07-25Consolidate trait upcasting and unsize into one normalizationMichael Goulet-197/+237
2023-07-25Restore tuple unsizing feature gateMichael Goulet-11/+23
2023-07-25Make sure to detect trait upcasting coercion even after normalizationMichael Goulet-1/+7
2023-07-25Normalize the RHS of an unsize goalMichael Goulet-67/+139
2023-07-24Improve diagnostic for const ctors in array repeat expressionsclubby789-9/+20
2023-07-24Auto merge of #114024 - matthiaskrgr:rollup-uhdbq64, r=matthiaskrgrbors-23/+67
2023-07-24Rollup merge of #113987 - compiler-errors:comments, r=lcnrMatthias Krüger-16/+64
2023-07-24Rollup merge of #113985 - compiler-errors:issue-113951, r=estebankMatthias Krüger-7/+3
2023-07-24lcnr's suggestionsMichael Goulet-4/+5
2023-07-24Auto merge of #113956 - fmease:rustdoc-fix-x-crate-rpitits, r=GuillaumeGomez,...bors-3/+6
2023-07-23more clippy::style fixes:Matthias Krüger-2/+2
2023-07-23Comment stuff in the new solverMichael Goulet-16/+63
2023-07-23Use erased self type when autoderefing for trait error suggestionMichael Goulet-7/+3
2023-07-23fixDeadbeef-2/+1
2023-07-23fix clippy::useless_formatMatthias Krüger-1/+1
2023-07-23fix couple of clippy findings:Matthias Krüger-7/+2
2023-07-22Rollup merge of #113901 - compiler-errors:only-bidi-norm, r=lcnrMatthias Krüger-9/+12
2023-07-22Rollup merge of #112508 - compiler-errors:trait-sig-lifetime-sugg-ice, r=cjgi...Matthias Krüger-11/+52
2023-07-22Get rid of subst-relate incompleteness in new solverMichael Goulet-9/+12
2023-07-22rustdoc: handle cross-crate RPITITs correctlyLeón Orell Valerian Liehr-3/+6
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-28/+6
2023-07-21Auto merge of #113922 - matthiaskrgr:rollup-90cj2vv, r=matthiaskrgrbors-13/+12
2023-07-21Double check that hidden types match the expected hidden typeOli Scherer-0/+1
2023-07-21new solver: add a separate cache for coherencelcnr-13/+12
2023-07-21Track ABI info. in `NaiveLayout`, and use it for `PointerLike` checksMoulins-6/+28
2023-07-20Auto merge of #113856 - WaffleLapkin:vtablin', r=oli-obkbors-67/+88
2023-07-20update doc commentslcnr-10/+17
2023-07-20reviewlcnr-4/+4