Specifies that a type defines a post-increment operator (with strict return). More...
Satisfied if K has a post-increment operator defined that returns K.
K