rust/compiler/rustc_next_trait_solver/src, branch 1.88.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.88.0 2025-05-08T06:14:18+00:00 Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnr 2025-05-08T06:14:18+00:00 Matthias Krüger 476013+matthiaskrgr@users.noreply.github.com 2025-05-08T06:14:18+00:00 urn:sha1:74b79aee60a5fba5fbe773ec45e205b46622ee37 Do not discard constraints on overflow if there was candidate ambiguity Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/201. There's a pretty chunky justification in the test. r? lcnr Rollup merge of #140641 - lcnr:opaque-type-storage-entries, r=compiler-errors 2025-05-08T06:14:18+00:00 Matthias Krüger 476013+matthiaskrgr@users.noreply.github.com 2025-05-08T06:14:18+00:00 urn:sha1:aace48811beab19e404eb38b5b415e59de695a37 detect additional uses of opaques after writeback Based on #140607. It's a lot harder to encounter in practice than I though :sweat_smile: :grin: I've still added it with the expectation that somebody will encounter it at some point. Also modifies the `EvalCtxt` to use the same impl to detect newly added opaque types. r? ``@compiler-errors`` detect additional uses of opaques after writeback 2025-05-07T17:59:51+00:00 lcnr rust@lcnr.de 2025-05-04T17:19:54+00:00 urn:sha1:e7979eab891c4dd603f73d31b0d50e58a1c3f29c opaque_type_storage to InferCtxtLike 2025-05-07T17:58:20+00:00 lcnr rust@lcnr.de 2025-05-04T17:35:39+00:00 urn:sha1:fc0ef54fd9fab0c31f89c53ae83f7afdb767829d Use MaybeCause::or to allow constraints from overflows if they are combined with ambiguity 2025-05-07T17:12:15+00:00 Michael Goulet michael@errs.io 2025-05-06T18:32:44+00:00 urn:sha1:a910329c671aea4342413ecd8f88f09e47f8b85a Review 2025-05-07T16:29:49+00:00 Michael Goulet michael@errs.io 2025-05-07T16:27:48+00:00 urn:sha1:8a21d1b495556554dc4ee55338423870b4f7dd53 Only prefer param-env candidates if they remain non-global after norm 2025-05-07T16:00:21+00:00 Michael Goulet michael@errs.io 2025-05-06T20:24:23+00:00 urn:sha1:1f774d74b3858154564f8f1609c21f618ba28d96 support duplicates in the opaque_types_storage 2025-05-06T14:59:09+00:00 lcnr rust@lcnr.de 2025-05-03T03:40:23+00:00 urn:sha1:431f02d5312544d222a63d40586527ec704f2d13 Set groundwork for proper const normalization 2025-05-01T19:05:02+00:00 Boxy rust@boxyuwu.dev 2025-05-01T12:26:23+00:00 urn:sha1:238d113b0726b9734ec42737cbc461d08520bf35 Treat `ManuallyDrop` as `~const Destruct` 2025-04-29T10:39:54+00:00 Oli Scherer github333195615777966@oli-obk.de 2025-04-29T10:20:16+00:00 urn:sha1:a1c70590b26943370975dd04986739901a31f5db