Le 27/06/2012 22:35, Steven Schveighoffer a écrit :
On Wed, 27 Jun 2012 16:32:33 -0400, Roman D. Boiko <[email protected]> wrote:
On Wednesday, 27 June 2012 at 20:27:39 UTC, Steven Schveighoffer wrote:
On Wed, 27 Jun 2012 16:16:53 -0400, Roman D. Boiko <[email protected]>
wrote:
TypeSpecialization:
Type struct union class interface enum function delegate super
const immutable inout shared return
This is only valid for is( Type == TypeSpecialization)
No, unless the D specification is outdated.
IsExpression:
is ( Type )
is ( Type : TypeSpecialization )
is ( Type == TypeSpecialization )
...
It's poorly written, TypeSpecialization is restricted for the : case.
Maybe it passes the parser, but fails on semantic.
"TypeSpecialization is only allowed to be a Type." -- context for
is(Type : TypeSpecialization)
-Steve
OK, I had misunderstood here too.
This whole is stuff is kind of messed up.
