Inference of GC allocation scope

[Nordlöw via Digitalmars-d-learn]

Are there any plans on a compiler pass that finds scoped 
GC-allocations and makes their destructors deterministic similar 
to D's struct scope behaviour?