about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
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-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-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/+42
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
2023-07-20re-add commentlcnr-0/+6
2023-07-20assembly: only consider blanket impls oncelcnr-68/+226
2023-07-20XSimplifiedType to SimplifiedType::Xlcnr-1/+1
2023-07-19Don't emit useless vptrs for marker traitsMaybe Waffle-4/+21
2023-07-19Fix commentMaybe Waffle-1/+1
2023-07-19Simplify last `prepare_vtable_segments` loop even moreMaybe Waffle-25/+22
2023-07-19Slightly refactor 'exiting_out loop in `prepare_vtable_segments`Maybe Waffle-20/+22
2023-07-19Refactor 'diving_in loop internals in `prepare_vtable_segments`Maybe Waffle-17/+17
2023-07-19Replace `if let` with `unwrap` in `prepare_vtable_segments`Maybe Waffle-25/+24
2023-07-19Use `?` in `prepare_vtable_segments`Maybe Waffle-9/+15
2023-07-19Auto merge of #113690 - aliemjay:opaque-defined-by-trait, r=compiler-errorsbors-5/+6
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-3/+4
2023-07-17Rollup merge of #113651 - lcnr:parent-def-id, r=compiler-errorsMatthias Krüger-7/+4
2023-07-17Auto merge of #113336 - compiler-errors:new-solver-iat, r=lcnrbors-5/+84
2023-07-16Auto merge of #113769 - matthiaskrgr:rollup-p6i1rco, r=matthiaskrgrbors-1/+1
2023-07-17Rollup merge of #113539 - agnarrarendelle:master, r=workingjubileeMatthias Krüger-1/+1
2023-07-16Auto merge of #113742 - compiler-errors:dont-short-circuit-intercrate-global-...bors-2/+2