// RUN: %clang_cc1 -std=c++20 -triple x86_64-elf-gnu %s -emit-llvm -o - | FileCheck %s

namespace GH56652{

struct foo {};

template <typename T> struct bar {
    using type = T;

    template <foo> inline static constexpr auto b = true;
};

template <typename T>
concept C = requires(T a) { T::template b<foo{}>; };

template <typename T> auto fn(T) {
    if constexpr (!C<T>)
        return foo{};
    else
        return T{};
}

auto a = decltype(fn(bar<int>{})){};

}

namespace GH116319 {

template <int = 0> struct a {
template <class> static constexpr auto b = 2;
template <class> static void c() noexcept(noexcept(b<int>)) {}
};

void test() { a<>::c<int>(); }


}

// CHECK: %"struct.GH56652::bar" = type { i8 }
// CHECK: $_ZN8GH1163191aILi0EE1cIiEEvv = comdat any
// CHECK: @_ZN7GH566521aE = global %"struct.GH56652::bar" undef