Will the defect with formal package parameters be fixed in GNAT GPL 2009?

[Eric Hughes <eric.eh9@gmail.com>]

Ten months ago in this newsgroup, I reported a defect in the handling
of formal package parameters in GNAT GPL 2008. The original posting is
available from Google Groups: http://groups.google.com/group/comp.lang.ada/browse_thread/thread/9aae240c681f9f62

My question, a very simple yes-or-no one, is this: Is this defect
corrected for a presumed 2009 release of GNAT GPL edition?

The defect precludes any particularly significant use of generic
programming in library code. The defect manifests itself when generic
packages are stacked up in a nested instantiation. Any serious use of
generic programming requires this approach. When I work in C++, it's
typical for me to nest template instantiations three or four levels
deep. I use generic programming for implementation polymorphism, where
I want the same visible semantics in different contexts (thus where
the total semantics must differ). A typical application is for a
second implementation that removes synchronization for a single-
tasking usage.

I ask because I'm soon planning on resurrecting the project I was
working on where I discovered the defect. If it's not fixed I'll be
switching to C++, and Ada will lose a design win.