rust/compiler/rustc_borrowck, branch tryhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=try2025-07-15T16:02:26+00:00Add alias for ArgOutlivesPredicate2025-07-15T16:02:26+00:00Michael Gouletmichael@errs.io2025-07-15T16:01:43+00:00urn:sha1:3634f46fdb50887dd0f6877cab1d7f9cf45458afGate things properly2025-07-15T16:02:26+00:00Michael Gouletmichael@errs.io2025-07-13T21:01:25+00:00urn:sha1:512cf3ae88b26f50a92ebfcb69c24ca39acd72e6Consider outlives assumptions when proving auto traits for coroutine interiors2025-07-15T16:02:26+00:00Michael Gouletmichael@errs.io2025-07-13T20:43:29+00:00urn:sha1:e3f643c70670a3e1567b0816502ab247565305f8Rollup merge of #143901 - compiler-errors:region-constraint-nits, r=lcnr2025-07-14T16:05:47+00:00Samuel Tardieusam@rfc1149.net2025-07-14T16:05:47+00:00urn:sha1:8fcef5674a030df3543c963b052dd539217b385e
Region constraint nits
Couple miscellaneous region constraints that have a bit to do with rust-lang/rust#143545 but stand on their own.
Simplify make_query_region_constraints2025-07-13T19:22:17+00:00Michael Gouletmichael@errs.io2025-07-13T19:22:09+00:00urn:sha1:f6f2f83043001592f656fa988ef6015694d52ee9Remove hir::AssocItemKind.2025-07-13T13:50:00+00:00Camille GILLOTgillot.camille@gmail.com2025-07-13T13:42:02+00:00urn:sha1:277b0ecf3493a89818a4008afbb36ae4e77c1024Expose nested bodies in rustc_borrowck::consumers2025-07-09T02:09:14+00:00Nico Lehmannnico.lehmannm@gmail.com2025-07-09T01:07:14+00:00urn:sha1:3c7bf9fe01aacd7205c755cb898c94de68fcd1fdRollup 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:226b0fbe11812c71c8002b10a40063571cf52b3fNits2025-07-04T18:26:09+00:00Michael Gouletmichael@errs.io2025-07-04T18:09:11+00:00urn:sha1:dc8cac8e8d1e7e8f9535bd53c4aa7d70cce617fb