On Wednesday, 9 December 2015 at 11:46:45 UTC, Kagamin wrote: > Allocators usually use global state. Such code is usually > treated as impure. What about containers that store their own local allocator? Will DMD infer all members of such containers to be pure if they only access locally allocated structures?