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
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