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?

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

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.