user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/transmutability
History
Exact
Tomasz Miąsko 88a86794b9 transmutability: uninit transition matches unit byte only 
The previous implementation was inconsistent about transitions that
apply for an init byte. For example, when answering a query, an init
byte could use corresponding init transition. Init byte could also use
uninit transition, but only when the corresponding init transition was
absent. This behaviour was incompatible with DFA union construction.

Define an uninit transition to match an uninit byte only and update
implementation accordingly. To describe that `Tree::uninit` is valid
for any value, build an automaton that accepts any byte value.

Additionally, represent byte ranges uniformly as a pair of integers to
avoid special case for uninit byte.
2025-04-29 20:42:43 +02:00
..
abstraction safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
alignment Filter empty lines, comments and delimiters from previous to last multiline span rendering 2024-12-12 23:36:27 +00:00
arrays TL note: current means target 2024-09-20 10:02:14 -07:00
enums Filter empty lines, comments and delimiters from previous to last multiline span rendering 2024-12-12 23:36:27 +00:00
malformed-program-gracefulness UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
primitives safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
references Filter empty lines, comments and delimiters from previous to last multiline span rendering 2024-12-12 23:36:27 +00:00
safety safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
structs safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
unions transmutability: uninit transition matches unit byte only 2025-04-29 20:42:43 +02:00
assoc-bound.rs TransmuteFrom: Gracefully handle unnormalized types and normalization errors 2024-10-01 20:52:17 +00:00
assoc-bound.stderr Trim suggestion parts to the subset that is purely additive 2025-02-14 00:44:10 -08:00
char.rs transmutability: Support char, NonZeroXxx 2025-04-25 12:55:50 -07:00
char.stderr transmutability: Support char, NonZeroXxx 2025-04-25 12:55:50 -07:00
dont-assume-err-is-yes-issue-126377.rs Fix transmute goal 2024-10-19 18:07:35 +00:00
dont-assume-err-is-yes-issue-126377.stderr Fix transmute goal 2024-10-19 18:07:35 +00:00
issue-101739-1.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
issue-101739-1.stderr Re-enable ConstArgKind::Path lowering by default 2024-09-12 13:56:01 -04:00
issue-101739-2.rs Re-enable ConstArgKind::Path lowering by default 2024-09-12 13:56:01 -04:00
issue-101739-2.stderr Re-enable ConstArgKind::Path lowering by default 2024-09-12 13:56:01 -04:00
issue-110467.rs safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
issue-110892.rs safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
issue-110892.stderr safe transmute: revise safety analysis 2024-02-27 16:22:32 +00:00
maybeuninit.rs safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
maybeuninit.stderr safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
region-infer.rs safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
region-infer.stderr safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
transmute-higher-ranked.rs Instantiate higher-ranked transmute goal 2025-04-08 17:00:29 +00:00
transmute-padding-ice.rs safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom 2024-08-27 14:05:54 +00:00
uninhabited.rs fix safe-transmute handling of enums 2024-12-01 18:28:04 +01:00
uninhabited.stderr Do not suggest using -Zmacro-backtrace for builtin macros 2025-03-14 19:50:03 +00:00