<feed xmlns='http://www.w3.org/2005/Atom'>
<title>rust/compiler/rustc_const_eval, branch 1.85.0</title>
<subtitle>https://github.com/rust-lang/rust
</subtitle>
<id>http://git.dreamy.place/mirrors/rust/atom?h=1.85.0</id>
<link rel='self' href='http://git.dreamy.place/mirrors/rust/atom?h=1.85.0'/>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/'/>
<updated>2025-02-13T16:52:47+00:00</updated>
<entry>
<title>fix ensure_monomorphic_enough</title>
<updated>2025-02-13T16:52:47+00:00</updated>
<author>
<name>Lukas Markeffsky</name>
<email>@</email>
</author>
<published>2025-02-10T22:06:19+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=a061e7eb65161af1a994257f0619d0ee7da24306'/>
<id>urn:sha1:a061e7eb65161af1a994257f0619d0ee7da24306</id>
<content type='text'>
(cherry picked from commit c1da4f1d3c4fc4beb5edcfa8a303a1dcbe27b65e)
</content>
</entry>
<entry>
<title>Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,RalfJung"</title>
<updated>2025-02-06T17:53:26+00:00</updated>
<author>
<name>Rémy Rakic</name>
<email>remy.rakic+github@gmail.com</email>
</author>
<published>2025-01-18T22:09:19+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=197b416baf683a01f98cf31fce706943e30a6b3c'/>
<id>urn:sha1:197b416baf683a01f98cf31fce706943e30a6b3c</id>
<content type='text'>
This reverts commit b57d93d8b9525fa261404b4cd9c0670eeb1264b8, reversing
changes made to 0aeaa5eb22180fdf12a8489e63c4daa18da6f236.

(cherry picked from commit 122a55bb442bd1995df9cf9b36e6f65ed3ef4a1d)
</content>
</entry>
<entry>
<title>Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"</title>
<updated>2025-02-06T17:53:26+00:00</updated>
<author>
<name>Rémy Rakic</name>
<email>remy.rakic+github@gmail.com</email>
</author>
<published>2025-01-18T22:08:38+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=7302b302d08e3d884d75a688a5a38c53be78bd87'/>
<id>urn:sha1:7302b302d08e3d884d75a688a5a38c53be78bd87</id>
<content type='text'>
This reverts commit e108481f74ff123ad98a63bd107a18d13035b275, reversing
changes made to 303e8bd768526a5812bb1776e798e829ddb7d3ca.

(cherry picked from commit ca1c17c88d1f625763859396ba7a50f36ac45cc0)
</content>
</entry>
<entry>
<title>Auto merge of #134757 - RalfJung:const_swap, r=scottmcm</title>
<updated>2024-12-30T23:46:42+00:00</updated>
<author>
<name>bors</name>
<email>bors@rust-lang.org</email>
</author>
<published>2024-12-30T23:46:42+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=4e5fec2f1ea4b1cfecaa14304c9f56de59b344cb'/>
<id>urn:sha1:4e5fec2f1ea4b1cfecaa14304c9f56de59b344cb</id>
<content type='text'>
stabilize const_swap

libs-api FCP passed in https://github.com/rust-lang/rust/issues/83163.

However, I only just realized that this actually involves an intrinsic. The intrinsic could be implemented entirely with existing stable const functionality, but we choose to make it a primitive to be able to detect more UB. So nominating for `@rust-lang/lang`  to make sure they are aware; I leave it up to them whether they want to FCP this.

While at it I also renamed the intrinsic to make the "nonoverlapping" constraint more clear.

Fixes #83163
</content>
</entry>
<entry>
<title>Rollup merge of #134787 - fmease:spruce-up-queries, r=compiler-errors</title>
<updated>2024-12-27T12:44:13+00:00</updated>
<author>
<name>许杰友 Jieyou Xu (Joe)</name>
<email>39484203+jieyouxu@users.noreply.github.com</email>
</author>
<published>2024-12-27T12:44:13+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=72ef16f519c1787faa7d7d46a6608c4c27ea8976'/>
<id>urn:sha1:72ef16f519c1787faa7d7d46a6608c4c27ea8976</id>
<content type='text'>
Spruce up the docs of several queries related to the type/trait system and const eval

- Editorial
  - Proper rustdoc summary/synopsis line by making use of extra paragraphs: Leads to better rendered output on module pages, in search result lists and overall, too
  - Use rustdoc warning blocks for admonitions of the form "do not call / avoid calling this query directly"
  - Use intra-doc links of the form ``[`Self::$query`]`` to cross-link queries. Indeed, such links are generally a bit brittle due to the existence of `TyCtxtFeed` which only contains a subset of queries. Therefore the docs of `feedable` queries cannot cross-link to non-`feedable` ones. I'd say it's fine to use intra-doc links despite the potential/unlikely occasional future breakage (if a query with the aforementioned characteristics becomes `feedable`). `Self::` is nicer than `TyCtxt::` (which would be more stable) since it accounts for other contexts like `TyCtxt{Feed,At,Ensure{,WithValue}}`
- Informative
  - Generally add, flesh out and correct some doc comments
  - Add *Panic* sections (to a few selected queries only). The lists of panics aren't necessarily exhaustive and focus on the more "obvious" or "important" panics.
  - Where applicable add a paragraph calling attention to the relevant [`#[rustc_*]` TEST attribute](https://rustc-dev-guide.rust-lang.org/compiler-debugging.html#rustc_-test-attributes)

The one non-doc change (it's internal and not observable):
Be even more defensive in `query constness`'s impl (spiritual follow-up to #134122) (see self review comment).

Fixes #133494.

r\? **any**(compiler-errors, oli-obk)
</content>
</entry>
<entry>
<title>Rollup merge of #134606 - RalfJung:ptr-copy-docs, r=Mark-Simulacrum</title>
<updated>2024-12-27T12:44:11+00:00</updated>
<author>
<name>许杰友 Jieyou Xu (Joe)</name>
<email>39484203+jieyouxu@users.noreply.github.com</email>
</author>
<published>2024-12-27T12:44:11+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=b9df3761896adf06e1d8bc6fe6eb766345f23da7'/>
<id>urn:sha1:b9df3761896adf06e1d8bc6fe6eb766345f23da7</id>
<content type='text'>
ptr::copy: fix docs for the overlapping case

Fixes https://github.com/rust-lang/unsafe-code-guidelines/issues/549

As discussed in that issue, it doesn't make any sense for `copy` to read a byte via `src` after it was already written via `dst`. The entire point of this method is that is copies correctly even if they overlap, and that requires always reading any given location before writing it.

Cc `@rust-lang/opsem`
</content>
</entry>
<entry>
<title>Spruce up the docs of several queries related to the type/trait system and const eval</title>
<updated>2024-12-27T10:44:23+00:00</updated>
<author>
<name>León Orell Valerian Liehr</name>
<email>me@fmease.dev</email>
</author>
<published>2024-12-26T13:09:27+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=454c09e355e0122fceaa770a3903c0ec9547bc0a'/>
<id>urn:sha1:454c09e355e0122fceaa770a3903c0ec9547bc0a</id>
<content type='text'>
</content>
</entry>
<entry>
<title>swap_typed_nonoverlapping: properly detect overlap even when swapping scalar values</title>
<updated>2024-12-25T15:01:26+00:00</updated>
<author>
<name>Ralf Jung</name>
<email>post@ralfj.de</email>
</author>
<published>2024-12-25T14:58:57+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=335f7f59c1a4ffa0483f936a905b25f2f58c0263'/>
<id>urn:sha1:335f7f59c1a4ffa0483f936a905b25f2f58c0263</id>
<content type='text'>
</content>
</entry>
<entry>
<title>rename typed_swap → typed_swap_nonoverlapping</title>
<updated>2024-12-25T09:53:03+00:00</updated>
<author>
<name>Ralf Jung</name>
<email>post@ralfj.de</email>
</author>
<published>2024-12-25T09:49:23+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=7291b1eaf7db863720f017f9f8a675ada86528e9'/>
<id>urn:sha1:7291b1eaf7db863720f017f9f8a675ada86528e9</id>
<content type='text'>
</content>
</entry>
<entry>
<title>miri: add test for overlapping typed_swap</title>
<updated>2024-12-25T09:45:48+00:00</updated>
<author>
<name>Ralf Jung</name>
<email>post@ralfj.de</email>
</author>
<published>2024-12-25T09:45:48+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=00dfa3ba2d21577649e882ee65309fdbee08bf6d'/>
<id>urn:sha1:00dfa3ba2d21577649e882ee65309fdbee08bf6d</id>
<content type='text'>
</content>
</entry>
</feed>
