https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=master 2025-06-03T20:56:52+00:00 2025-06-03T20:56:52+00:00 Michael Goulet michael@errs.io 2025-05-31T11:48:29+00:00 urn:sha1:cbb3a847d25f998486248a8db201773eeb489d60 2024-08-27T14:05:54+00:00 Jack Wrenn jack@wrenn.fyi 2024-08-27T14:05:54+00:00 urn:sha1:1ad218f3af806c1f0c14e8b44656318b913a3906 As our implementation of MCP411 nears completion and we begin to solicit testing, it's no longer reasonable to expect testers to type or remember `BikeshedIntrinsicFrom`. The name degrades the ease-of-reading of documentation, and the overall experience of using compiler safe transmute. Tentatively, we'll instead adopt `TransmuteFrom`. This name seems to be the one most likely to be stabilized, after discussion on Zulip [1]. We may want to revisit the ordering of `Src` and `Dst` before stabilization, at which point we'd likely consider `TransmuteInto` or `Transmute`. [1] https://rust-lang.zulipchat.com/#narrow/stream/216762-project-safe-transmute/topic/What.20should.20.60BikeshedIntrinsicFrom.60.20be.20named.3F 2024-08-21T18:06:02+00:00 Jack Wrenn jack@wrenn.fyi 2024-08-21T17:01:32+00:00 urn:sha1:e2328ebd7f37fdfa5059fa8da954d198f6f744f7 Changes `.unwrap()`s to `?` to avoid ICEs. Adds ui tests. Fixes #129327 2024-04-08T15:36:52+00:00 Jack Wrenn jack@wrenn.fyi 2024-03-19T14:49:13+00:00 urn:sha1:3aa14e3b2e61739e8d0ec7883f9c185821ca5da2 In its first step of computing transmutability, `rustc_transmutability` constructs a byte-level representation of type layout (`Tree`). Previously, this representation was computed for ADTs by inspecting the ADT definition and performing our own layout computations. This process was error-prone, verbose, and limited our ability to analyze many types (particularly default-repr types). In this PR, we instead construct `Tree`s from `rustc_target::abi::Layout`s. This helps ensure that layout optimizations are reflected our analyses, and increases the kinds of types we can now analyze, including: - default repr ADTs - transparent unions - `UnsafeCell`-containing types Overall, this PR expands the expressvity of `rustc_transmutability` to be much closer to the transmutability analysis performed by miri. Future PRs will work to close the remaining gaps (e.g., support for `Box`, raw pointers, `NonZero*`, coroutines, etc.). 2024-03-15T17:42:29+00:00 Jack Wrenn jack@wrenn.fyi 2024-03-15T17:11:11+00:00 urn:sha1:dc35339514f79f4816f5a36121c25abcfa5723e3 We can (and will) support analyzing the transmutability of types whose layouts aren't completely specified by its repr. This change ensures that the error messages remain sensible after this support lands. 2024-02-27T16:22:32+00:00 Jack Wrenn jack@wrenn.fyi 2024-02-26T16:49:25+00:00 urn:sha1:23ab1bda92b127b18f32fe7593298842fd25e05b Migrate to a simplified safety analysis that does not use visibility. Closes https://github.com/rust-lang/project-safe-transmute/issues/15 2024-02-16T20:02:50+00:00 许杰友 Jieyou Xu (Joe) jieyouxu@outlook.com 2024-02-16T20:02:50+00:00 urn:sha1:ec2cc761bc7067712ecc7734502f703fe3b024c8 2024-01-09T16:09:30+00:00 Oli Scherer git-spam-no-reply9815368754983@oli-obk.de 2024-01-09T14:46:30+00:00 urn:sha1:4f0869ea8903947d61b6db73178a4234a9959feb 2023-04-13T21:57:08+00:00 Bryan Garza 1396101+bryangarza@users.noreply.github.com 2023-04-06T01:58:53+00:00 urn:sha1:36febe1f4da6ea7e066983786171d5f85f7473d9 This patch updates the error reporting when Safe Transmute is not possible between 2 types by including the reason. Also, fix some small bugs that occur when computing the `Answer` for transmutability. 2023-02-21T05:21:07+00:00 Michael Goulet michael@errs.io 2023-02-21T05:21:07+00:00 urn:sha1:a58682d7ccef5248ae814e9ec8c851cf019fd787