That, however, conflicts with unused write detection which can be quite useful (arguably more so than unused variable as it's both more general and more likely

That, however, conflicts with unused write detection which can be quite useful (arguably more so than unused variable as it's both more general and more likely to catch issues). Though I guess you could always ignore a trivial initialisation for that purpose.