Prevent unsound Box allocations#191

ltratt merged 1 commit into

softdevteam:mastersoftdevteam/alloy:masterfrom

jacob-hughes:untracked-boxjacob-hughes/alloy:untracked-boxCopy head branch name to clipboard