Open AljoschaMeyer opened 1 month ago
Also add invariant wrappers. ✅
Remove or weaken Item: Copy requirement.
Item: Copy