Closed
Description
Derefs of newtypes should inherit the mutability of their container, just as record fields do. I have a fix for this but haven't committed it yet.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests