Solve "CWG 2389. Agreement of deduced and explicitly-specified variable types" editorially

[zygoloid]

Per CWG discussion: add an example to [dcl.spec.auto]p13 showing that a non-initializing declaration of a variable need not use auto when the initializing declaration uses auto.