https://issues.dlang.org/show_bug.cgi?id=23916
--- Comment #9 from Vladimir Panteleev <dlang-bugzi...@thecybershadow.net> --- (In reply to Nick Treleaven from comment #7) > > Wouldn't something more explicit be much better? > > Such as what? For the specific example above, probably this: void f(alias a)() if (is(typeof(a.i) : int)) or: void f(alias a)() if (is(typeof(writeln(a.i)))) depending on your intention. --