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.