Re: Why aren't function attributes inferred?

[bearophile]

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