rust/compiler/rustc_borrowck/src/polonius, branch tryhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=try2025-07-06T08:03:23+00:00Rollup merge of #143477 - folkertdev:use-is-multiple-of, r=joshtriplett2025-07-06T08:03:23+00:00Matthias Krüger476013+matthiaskrgr@users.noreply.github.com2025-07-06T08:03:23+00:00urn:sha1:6fb00b1514174f215b09afbc574f15f196eb556a
use `is_multiple_of` and `div_ceil`
In tricky logic, these functions are much more informative than the manual implementations. They also catch subtle bugs:
- the manual `is_multiple_of` often does not handle division by zero
- manual `div_ceil` often does not consider overflow
The transformation is free for `is_multiple_of` if the divisor is compile-time known to be non-zero. For `div_ceil` there is a small cost to considering overflow. Here is some assembly https://godbolt.org/z/5zP8KaE1d.
use `is_multiple_of` instead of manual modulo2025-07-05T08:55:35+00:00Folkert de Vriesfolkert@folkertdev.nl2025-07-05T06:26:32+00:00urn:sha1:226b0fbe11812c71c8002b10a40063571cf52b3fRemove Symbol for Named LateParam/Bound variants2025-07-04T18:14:22+00:00Michael Gouletmichael@errs.io2025-04-11T04:17:19+00:00urn:sha1:42c9bfd2b96f2e6cd0e4e6fab21c2d5499883089Use an enum for SCC representatives, plus other code review2025-06-04T11:26:08+00:00Amanda Stjernaamanda.stjerna@it.uu.se2025-05-02T08:50:03+00:00urn:sha1:f455c4fc39bcc04d104bc440ebc1c23f183f20f9
Co-authored-by: lcnr <rust@lcnr.de>
Move placeholder handling to a proper preprocessing step2025-06-03T10:20:15+00:00Amanda Stjernaamanda.stjerna@it.uu.se2025-04-29T15:12:12+00:00urn:sha1:aca36fd12a3277ce17eb94e4e89567843bf137f7
This commit breaks out the logic of placheolder rewriting
into its own preprocessing step.
The only functional change from this is that the preprocessing
step (where extra `r: 'static` constraints are added) is
performed upstream of Polonius legacy, finally affecting
Polonius. That is mostly a by-product, though.
AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}, scoped async drop added.2025-04-28T09:23:13+00:00Andrew Zhoginandrew.zhogin@gmail.com2024-08-26T13:45:15+00:00urn:sha1:c366756a8537ef998d32c1ef57098d5aae7ca92fmove `dump_polonius_mir`2025-04-11T10:12:34+00:00lcnrrust@lcnr.de2025-04-11T09:24:24+00:00urn:sha1:2c65469c2751f11e93e3cc5a9b1dcf1856039196Auto merge of #139536 - matthiaskrgr:rollup-j6goald, r=matthiaskrgr2025-04-08T22:51:10+00:00borsbors@rust-lang.org2025-04-08T22:51:10+00:00urn:sha1:de5b8a4c77618d8ae8e8ea0e4b787917c32e9305
Rollup of 7 pull requests
Successful merges:
- #139476 (rm `RegionInferenceContext::var_infos`)
- #139485 (compiletest: Stricter parsing for diagnostic kinds)
- #139491 (Update books)
- #139500 (document panic behavior of Vec::resize and Vec::resize_with)
- #139501 (Fix stack overflow in exhaustiveness due to recursive HIR opaque hidden types)
- #139504 (add missing word in doc comment)
- #139509 (clean: remove Deref<Target=RegionKind> impl for Region and use `.kind()`)
r? `@ghost`
`@rustbot` modify labels: rollup
move `ClosureRegionRequirements` to `rustc_borrowck`2025-04-07T22:34:40+00:00lcnrrust@lcnr.de2025-04-02T12:05:35+00:00urn:sha1:474ec7a3f4da6bdedf2d967d72bc9c6282dfcbb2rm `RegionInferenceContext::var_infos`2025-04-07T10:19:35+00:00lcnrrust@lcnr.de2025-04-07T10:18:56+00:00urn:sha1:1862b311f67dce3d503a5d09dca249cace03967e
we already track this info in the `definitions` field