poll about delete

[bearophile]

Andrei Alexandrescu:
> Agreed. I know how to fix it.

Can you tell the idea?

--------

Another thing: currently somewhere in DMD there is some code that tests against returning a scoped object:

class Foo {}
Foo bar() {
    scope Foo f = new Foo;
    return f;
}
void main() {}

That code generates the error:
test.d(4): Error: escaping reference to scope local f

While currently this doesn't generate a compile-time error:

class Foo {}
Foo bar() {
    Foo f = scoped!Foo();
    return f;
}
void main() {}

This bug report shows that 'scoped' can cause other bugs:
http://d.puremagic.com/issues/show_bug.cgi?id=4214

But catching some of the most common bugs is positive, so can the code present in dmd used to catch and avoid the return of a scoped object be used to avoid the return of the library-defined scoped!() object?

Bye,
bearophile