I belive it could be implemented as a library type, using Scope(T) template:
I don't like that approach to replace random language features by
templates at all. And in this case, you really have to ask WHY?
It's nice that it's possible, but there are some reasons that speak
against this approach:
1. it's harder to understand in general (even if the language definition
becomes smaller)
2. error messages turn into an incomprehensible mess
3. puts more stress on the compiler and it gets slower (you will
understand when you have to _wait_ for your project to finish
compilation, even if you use the superfast dmd)
class Foo
{
Scope!(Bar) _bar;
}
Would typeof(_bar) == Bar?
Perphaps, Phobos could provide that functionality, then we could deprecate "scope Foo foo =
new Foo(args);" in favor of "auto foo = Scope!(Foo)(args);" and eventually remove
from language.
