Template:cpp/types/dsc is constructible