What is a “prospective destructor” in C++20?

Question

It seems that in C++20 something called a "prospective destructor" was introduced. In C++17 [class.dtor]:

1. In a declaration of a destructor, t