Skip to content

Drop the dead default-initializer on a definitely-assigned local#611

Merged
richlander merged 1 commit into
mainfrom
feature/dead-initializer
Jun 18, 2026
Merged

Drop the dead default-initializer on a definitely-assigned local#611
richlander merged 1 commit into
mainfrom
feature/dead-initializer