struct Widget; void cleanup(Widget* p) { delete p; // compiles. no warning. } This calls delete on a pointer to an incomplete type. The destructor never runs. The memory may not be freed correctly This has been valid C++ for decades