IDEA: invariant-related gc hints

[Marianne Gagnon]

> So can't a way be invented to tell the D compiler that some parts of D code are restricted in Java-like capabilities (no C-style pointer management), so the GC can work on them (if they contain OOP) at that higher level with hopefully higher performance on very-OOP code (this may requires a quite more complex GC)? I don't know if this can be done, because you can't make such parts of code transitively safe. This is another possible advantage of the "safe D" Walter was talking about.
> 

I think that's a little stretched,  enabling sections with less features is not how i imagine a clean and well-designed language