| // RUN: %clang_cc1 -verify -std=c++2c -emit-llvm -triple %itanium_abi_triple -o - %s -fclang-abi-compat=latest | FileCheck %s |
| // expected-no-diagnostics |
| |
| // FIXME: Is the empty case case correct? These are not defined by the itanium ABI yet. |
| namespace GH218820 { |
| // CHECK: define {{.*}}@_ZN8GH2188201fITpTtTyEJEEEvvQfraa1CIiE( |
| // CHECK: define {{.*}}@_ZN8GH2188201fIJNS_1CEEEEvvQfraa1CIiE( |
| template <template <typename> concept... C> |
| void f() requires (C<int> && ...) {} |
| |
| // CHECK: define {{.*}}@_ZN8GH2188201gITpTtTyEJEEEvvQfraa1VIiE( |
| // CHECK: define {{.*}}@_ZN8GH2188201gIJNS_1VEEEEvvQfraa1VIiE( |
| template <template <typename> auto... V> |
| void g() requires (V<int> && ...) {} |
| |
| template <typename T> |
| concept C = true; |
| |
| template <typename T> |
| constexpr auto V = true; |
| |
| void h() { |
| f<>(); |
| f<C>(); |
| g<>(); |
| g<V>(); |
| } |
| } |
