D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 18502 - isExpression treated differently in TemplateTypeParameterSpecialization than elsewhere
Summary: isExpression treated differently in TemplateTypeParameterSpecialization than ...
Status: RESOLVED INVALID
Alias: None
Product: D
Classification: Unclassified
Component: dmd (show other issues)
Version: D2
Hardware: x86 Windows
: P1 enhancement
Assignee: No Owner
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-02-23 11:00 UTC by Simen Kjaeraas
Modified: 2020-05-28 12:40 UTC (History)
0 users

See Also:

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 Simen Kjaeraas 2018-02-23 11:00:41 UTC 
enum Foo(alias T : Bar!U, U...) = true;
template Bar(T...) { alias b = T; }

// These compile as expected:
static assert(Foo!(Bar!int));
static assert(!__traits(compiles, Foo!(Bar!int)));

// While this asserts:
static assert(is(Bar!int : Bar!T, T...));