Closed
Description
After this was discussed in #118 (comment) and #128 (comment), I came to the conclusion, that all such structs should be refactored to DSTs. This will satisfy miri and also cleans up code.
Metadata
Metadata
Assignees
Labels
No labels