[Bug c++/85932] New: GCC incorrectly rejects mismatch of types, instead of retrying after type deduction.

[lebedev.ri at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85932

            Bug ID: 85932
           Summary: GCC incorrectly rejects mismatch of types, instead of
                    retrying after type deduction.
           Product: gcc
           Version: 8.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: lebedev.ri at gmail dot com
  Target Milestone: ---

Originally reported as https://bugs.llvm.org/show_bug.cgi?id=37593

Minimal testcase:

extern int a;
auto a = 0;

https://godbolt.org/g/TZVT8G