On Tuesday, 24 July 2018 at 21:05:05 UTC, Jean-Louis Leroy wrote: > What is `PT` here: > https://github.com/dlang/phobos/blob/master/std/traits.d#L1224 > Where does it come from? https://dlang.org/spec/expression.html#is_expression look for 6. is ( Type Identifier == TypeSpecialization )