about summary refs log tree commit diff
AgeCommit message (Expand)AuthorLines
2023-05-26Stop normalizing so many different prefixesjyn-34/+20
2023-05-25Auto merge of #111473 - compiler-errors:opaques, r=lcnrbors-189/+658
2023-05-25Auto merge of #111933 - matthiaskrgr:rollup-m10k3ts, r=matthiaskrgrbors-17/+313
2023-05-25Rollup merge of #111875 - WaffleLapkin:defer_on_drop, r=NilstriebMatthias Krüger-15/+21
2023-05-25Rollup merge of #111624 - cjgillot:private-uninhabited-pattern, r=petrochenkovMatthias Krüger-1/+33
2023-05-25Rollup merge of #109899 - daxpedda:patch-1, r=jackh726Matthias Krüger-1/+1
2023-05-25Rollup merge of #95198 - clarfonthey:get_chunk, r=scottmcmMatthias Krüger-0/+258
2023-05-25Match on both reveal and solver mode at the same timeMichael Goulet-41/+38
2023-05-25Add InferCtxt::register_hidden_type_in_new_solverMichael Goulet-41/+47
2023-05-25Strongly prefer alias and param-env boundsMichael Goulet-32/+78
2023-05-25Pre-populate MIR with opaques, prefer subst-relate candidateMichael Goulet-28/+87
2023-05-25Auto merge of #111575 - alex:patch-1, r=pietroalbinibors-3/+13
2023-05-25Check that opaque is a defining use, prefer pre-defined opaquesMichael Goulet-14/+127
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-81/+243
2023-05-25Move DefiningAnchorMichael Goulet-27/+34
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-43/+122
2023-05-25Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearthbors-378/+417
2023-05-24Rollup merge of #111915 - jyn514:libtest-errors, r=thomccManish Goregaokar-3/+3
2023-05-24Rollup merge of #111912 - WaffleLapkin:is_some_and_in_the_compiler, r=petroch...Manish Goregaokar-246/+201
2023-05-24Rollup merge of #111876 - danakj:builtins92, r=Mark-SimulacrumManish Goregaokar-3/+3
2023-05-24Rollup merge of #111840 - voidc:borrowck-consumers, r=oli-obkManish Goregaokar-66/+144
2023-05-24Rollup merge of #111741 - compiler-errors:custom-type-op, r=lcnrManish Goregaokar-60/+66
2023-05-24Auto merge of #111919 - matthiaskrgr:rollup-8qcdp0q, r=matthiaskrgrbors-428/+661
2023-05-24Rollup merge of #111903 - GuillaumeGomez:migrate-gui-test-color-6, r=notriddleMatthias Krüger-6/+6
2023-05-24Rollup merge of #111863 - compiler-errors:check-more-mir, r=b-naberMatthias Krüger-27/+9
2023-05-24Rollup merge of #111862 - compiler-errors:opq, r=lcnrMatthias Krüger-305/+303
2023-05-24Rollup merge of #111841 - matthewjasper:validate-match-guards, r=compiler-errorsMatthias Krüger-38/+240
2023-05-24Rollup merge of #111759 - cjgillot:interval-kill, r=b-naberMatthias Krüger-50/+101
2023-05-24Rollup merge of #111121 - Zalathar:ra-false-positive, r=jackh726Matthias Krüger-2/+2
2023-05-24Emit diagnostic for privately uninhabited uncovered witnesses.Camille GILLOT-1/+33
2023-05-24Auto merge of #111260 - petrochenkov:effvisperf7, r=cjgillotbors-163/+100
2023-05-24Split out opaque from type_ofMichael Goulet-305/+303
2023-05-24Don't skip mir typeck if body has errorsMichael Goulet-27/+9
2023-05-24Auto merge of #111673 - cjgillot:dominator-preprocess, r=cjgillot,tmiaskobors-51/+107
2023-05-24libtest: Improve error when missing `-Zunstable-options`jyn-3/+3
2023-05-24Use ObligationCtxt in custom type opsMichael Goulet-60/+66
2023-05-24Use `is_some_and`/`is_ok_and` in less obvious spotsMaybe Waffle-88/+53
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-158/+148
2023-05-24Auto merge of #111694 - Amanieu:no-assume-bdynamic, r=petrochenkovbors-12/+12
2023-05-24Migrate GUI colors test to original CSS color formatGuillaume Gomez-6/+6
2023-05-24Auto merge of #111566 - clubby789:bootstrap-override-config, r=ozkanonurbors-47/+303
2023-05-24Auto merge of #111195 - GuillaumeGomez:fix-ice-intra-doc-link, r=petrochenkovbors-8/+40
2023-05-24Auto merge of #111895 - matthiaskrgr:rollup-9a6szng, r=matthiaskrgrbors-25/+182
2023-05-24Rollup merge of #111887 - fmease:inh-proj-pp-tests, r=compiler-errorsMatthias Krüger-0/+46
2023-05-24Rollup merge of #111880 - compiler-errors:pointer-like-param-env, r=jackh726Matthias Krüger-10/+68
2023-05-24Rollup merge of #111870 - WaffleLapkin:just_🌟traits🌟_query, r=compiler-...Matthias Krüger-13/+15
2023-05-24Rollup merge of #111864 - Jules-Bertholet:sized-closures, r=compiler-errorsMatthias Krüger-2/+29
2023-05-24Rollup merge of #111861 - compiler-errors:rtn-in-super, r=jackh726Matthias Krüger-0/+24
2023-05-24Auto merge of #110936 - loongarch-rs:promote-tier2, r=Mark-Simulacrumbors-2/+5
2023-05-23Auto merge of #111890 - weihanglo:update-cargo, r=weihanglobors-0/+0