Nick Sabalausky: > Well, that too. But the main thing is the checked guarantees. Maybe @safe too is usable to improve some optimizations, I don't know. Maybe simplifies pointers strictness analysis? Bye, bearophile