Здравствуйте, Erop, Вы писали:

E>Но при этом DoSomething() должен быть статическим, так как вызов нестатического метода -- это разыменование, а разыменование удалённого указателя -- это UB

Вызов нестатического метода DoSomething означает, что в метод неявно передаётся указатель на текущий объект this. Но автор пишет что там нет обращения к полям класса — this разыменовываться не будет. Так что нестатическая Функция здесь нормально работает, я проверил на всякий случай