struct undefined_concept {};
struct polygon_concept {};
template <typename T>
struct geometry_concept { typedef undefined_concept type; };
//struct geometry_concept<int>{ typedef polygon_concept type; }; /*Это работает*/
template <> using geometry_concept<int> = polygon_concept; /*expected an identifier*/
template <> struct geometry_concept<int>{ using type = polygon_concept; };