rust/compiler/rustc_trait_selection/src/solve, branch automation/bors/try https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=automation/bors/try 2025-09-18T21:56:20+00:00 move `mod canonical` out of `eval_ctxt` 2025-09-18T21:56:20+00:00 lcnr rust@lcnr.de 2025-09-16T13:18:42+00:00 urn:sha1:a08e6499e6a215021684681448ed0f3ce60c827a support calls on opaque types :< 2025-09-18T10:58:38+00:00 lcnr rust@lcnr.de 2025-09-11T11:08:36+00:00 urn:sha1:f4e19c68786211f3c3cf2593442629599678800a erase_regions to erase_and_anonymize_regions 2025-09-09T12:49:16+00:00 Boxy rust@boxyuwu.dev 2025-08-21T15:50:54+00:00 urn:sha1:e379c7758667f900aaf5551c4553c7d4c121e3e1 review 2025-09-08T12:17:56+00:00 lcnr rust@lcnr.de 2025-09-08T09:41:43+00:00 urn:sha1:b51a3a565a056235f3864e2cefdb9449f6b0dcb1 pass `sub_relations` into canonical queries 2025-09-08T12:17:56+00:00 lcnr rust@lcnr.de 2025-08-26T13:23:57+00:00 urn:sha1:28a0e77d1318210540fa1a561b9a8af08e2ffe40 eagerly compute `sub_relations` again 2025-09-08T12:17:56+00:00 lcnr rust@lcnr.de 2025-08-27T08:03:47+00:00 urn:sha1:67965f817d2eb47f5238b43f21b35259806b6280 cleanup proof tree implementation and add cache 2025-08-29T07:35:37+00:00 lcnr rust@lcnr.de 2025-08-28T07:57:36+00:00 urn:sha1:0edb22cdbf8f25bede8d46e706b181457e27003a change HIR typeck unification handling approach 2025-08-22T11:39:38+00:00 lcnr rust@lcnr.de 2025-08-22T11:39:38+00:00 urn:sha1:17ac2fc96d7dc93b5a02b8f2fe5f03edade6f739 Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnr 2025-08-01T21:07:49+00:00 bors bors@rust-lang.org 2025-08-01T21:07:49+00:00 urn:sha1:63f6845e570305a92eaf855897768617366164d6 Remove the witness type from coroutine *args* (without actually removing the type) This does as much of rust-lang/rust#144157 as we can without having to break rust-lang/rust#143545 and/or introduce some better way of handling higher ranked assumptions. Namely, it: * Stalls coroutines based off of the *coroutine* type rather than the witness type. * Reworks the dtorck constraint hack to not rely on the witness type. * Removes the witness type from the args of the coroutine, eagerly creating the type for nested obligations when needed (auto/clone impls). I'll experiment with actually removing the witness type in a follow-up. r? lcnr Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnr 2025-08-01T04:06:21+00:00 bors bors@rust-lang.org 2025-08-01T04:06:21+00:00 urn:sha1:6c02dd4eae83befde07dc4782395e2005055e9fa Optimize region constraints r? `@lcnr`