Template:cpp/types/dsc is polymorphic