misc.h/cpp and the trailing-return-type