Bryan Garza f4cf8f65a5 Safe Transmute: Refactor error handling and Answer type ...

- Create `Answer` type that is not just a type alias of `Result`
- Remove a usage of `map_layouts` to make the code easier to read
- Don't hide errors related to Unknown Layout when computing transmutability

2023-06-12 16:56:21 -07:00

..

abstraction

…

alignment

Safe Transmute: Update definition of Condition type

2023-05-24 17:49:56 -07:00

arrays

Safe Transmute: Fix propagation of errors

2023-05-24 14:52:19 -07:00

enums

Safe Transmute: Fix propagation of errors

2023-05-24 14:52:19 -07:00

malformed-program-gracefulness

Safe Transmute: Refactor error handling and Answer type

2023-06-12 16:56:21 -07:00

primitives

Safe Transmute: Check mutability before creating dst -> src obligation

2023-05-24 15:00:06 -07:00

references

Safe Transmute: Disable coinduction support

2023-06-07 08:21:00 -07:00

structs

Safe Transmute: Fix propagation of errors

2023-05-24 14:52:19 -07:00

unions

Safe Transmute: Fix propagation of errors

2023-05-24 14:52:19 -07:00

visibility

…

issue-101739-1.rs

…

issue-101739-1.stderr

…

issue-101739-2.rs

…

issue-101739-2.stderr

…

issue-110467.rs

…

region-infer.rs

…

region-infer.stderr

…