On 05/04/2025 15:32, Kamil Tekiela wrote:

While it has its uses empty() should be avoided whenever possible.

Agree. A better RFC would be to just deprecate `empty()`.

Cheers,
Bilge

Reply via email to