Why, really, deleting an incomplete type is undefined behaviour?

Question

Consider this classic example used to explain what not to do with forward declarations:

//in Handle.h file
class Body;

class Handle
{
   public:
           


        

Answer 1

Without proper declaration of Body the code in Handle.h does not know whether destructor is virtual or even accessible (i.e. public).