Local templates and alias parameters

[John Colvin]

On Friday, 28 June 2013 at 23:57:30 UTC, Ali Çehreli wrote:
> On 06/28/2013 01:04 PM, John Colvin wrote:
>> void main()
>> {
>>     template A(alias a)
>>     {
>>         enum A = a.stringof;
>>     }
>>     int b;
>>     string s = A!b;   // Error: template instance A!(b) cannot 
>> use
>> local 'b' as parameter to non-global template A(alias a)
>> }
>>
>> Bug or feature?
>
> Popular limitation: :)
>
>   http://d.puremagic.com/issues/show_bug.cgi?id=5710
>
> Ali

I get that it's a problem when they are in entirely 
non-overlapping scopes, but when they are in the same local scope 
it really shouldn't be an error as there's no need for the double 
context pointer. Indeed, in this case there's no need for any 
context pointer at all, it's a purely compile-time manipulation.

I'm tempted to create a separate bug report for this as it's not 
quite the same problem.