1*7284e0f3SMatheus Izvekov // RUN: %clang_cc1 -std=c++20 %s -triple %itanium_abi_triple -emit-llvm -o - | FileCheck %s 2*7284e0f3SMatheus Izvekov 3*7284e0f3SMatheus Izvekov template <template <class> class S> 4*7284e0f3SMatheus Izvekov void create_unique() 5*7284e0f3SMatheus Izvekov requires (S{0}, true) {} 6*7284e0f3SMatheus Izvekov 7*7284e0f3SMatheus Izvekov template <class Fn> struct A { 8*7284e0f3SMatheus Izvekov constexpr A(Fn) {}; 9*7284e0f3SMatheus Izvekov }; 10*7284e0f3SMatheus Izvekov 11*7284e0f3SMatheus Izvekov template void create_unique<A>(); 12*7284e0f3SMatheus Izvekov // CHECK: @_Z13create_uniqueI1AEvvQcmtlT_Li0EELb1E( 13