← Back to index | Original Bugzilla link

Bug 18502 – isExpression treated differently in TemplateTypeParameterSpecialization than elsewhere

Status: RESOLVED
Resolution: INVALID
Severity: enhancement
Priority: P1
Component: dmd
Product: D
Version: D2
Platform: x86
OS: Windows
Creation time: 2018-02-23T11:00:41Z
Last change time: 2020-05-28T12:40:27Z
Assigned to: No Owner
Creator: Simen Kjaeraas

Comments

Comment #0 by simen.kjaras — 2018-02-23T11:00:41Z

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...));