Allocation with shared_arena#18

lenianiva wants to merge 2 commits intoAdrienChampion:masterAdrienChampion/hashconsing:masterfrom

lenianiva:allocationlenianiva/hashconsing:allocationCopy head branch name to clipboard