Comment by SkiFire13

AFAIK many of those language features (specialization included) are blocked by the rewrite of the trait solver.