[Bug c++/120555] [15/16 Regression] Use of auto func before deduction of auto

[ppalka at gcc dot gnu.org via Gcc-bugs]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |ppalka at gcc dot gnu.org
            Summary|[15 Regression] Use of auto |[15/16 Regression] Use of
                   |func before deduction of    |auto func before deduction
                   |auto                        |of auto

--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Started with r15-4120 "c++: require_deduced_type and modules".

// PR c++/120555
// { dg-do compile { target c++17 } }

template<class T>
constexpr auto f() {
    if constexpr (__is_same(T, int)) {
        return 1;
    } else {
        return f<int>() + 1;
    }
}

static_assert(f<bool>() == 2);