Possible resolution:

1. Add before 9.3.1 [dcl.decl.general] paragraph 4 and change paragraphs 4 and 5 as follows:

   The initializer of an init-declarator may be present only if the declarator declares a variable and the host scope (6.4.1 [basic.scope.scope]) of the declaration is the same as its target scope.

   The optional requires-clause in of an init-declarator or member-declarator shall may be present only if the declarator declares a templated function (13.1 [temp.pre]). ...

   The optional function-contract-specifier-seq (9.4.1 [dcl.contract.func]) in of an init-declarator shall may be present only if the declarator declares a function.

2. Remove 9.5.1 [dcl.init.general] paragraph 5 as follows:

   A declaration D of a variable with linkage shall not have an initializer if D inhabits a block scope.

(From submission #856.)

Consider:

  typedef int x = 0;

There is no prohibition against this.