Check if deref target implements `is_empty` for `len_zero` lint#13871

Merged

blyxyas merged 1 commit intorust-lang:masterfrom samueltardieu:push-synprypltkwo

Jan 1, 2025

+95-32

Commits on Jan 1, 2025

Check if deref target implements is_empty for len_zero lint
samueltardieu
committed