7563 – Class members with default template arguments have no type

D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.

Issue 7563 - Class members with default template arguments have no type

Summary: Class members with default template arguments have no type

Status:	RESOLVED FIXED
Alias:	None
Product:	D
Classification:	Unclassified
Component:	dmd (show other issues)
Version:	D2
Hardware:	All All
Importance :	P2 normal
Assignee:	No Owner
URL:
Keywords:	pull, rejects-valid
Depends on:
Blocks:

See Also:
Reported:	2012年02月22日 13:17 UTC by siegelords_abode
Modified:	2012年03月04日 00:48 UTC (History)
CC List:	1 user (show)

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this issue.

Description siegelords_abode 2012年02月22日 13:17:25 UTC

DMD 2.058
class Test
{
	void test(T, bool a = true)(T t)
	{
		
	}
}
void main()
{
	auto test = new Test;
	pragma(msg, typeof(test.test!(int, true)).stringof);
	pragma(msg, typeof(test.test!(int)).stringof); // Error: expression (test.test!(int)) has no type
}
Doesn't happen if test is a free function or a nested function.

Comment 1 Kenji Hara 2012年02月26日 03:13:13 UTC

https://github.com/D-Programming-Language/dmd/pull/766

Comment 2 github-bugzilla 2012年03月03日 22:57:50 UTC

Commit pushed to master at https://github.com/D-Programming-Language/dmd
https://github.com/D-Programming-Language/dmd/commit/9225eea616ceb84e3b04d4e27c4d75db69fd282f
Merge pull request #766 from 9rnsr/fix7563
Issue 7563 - Class members with default template arguments have no type