1*71b74ebbSArgyrios Kyrtzidis // RUN: c-index-test core -print-source-symbols -- %s -std=c++14 | FileCheck %s 2*71b74ebbSArgyrios Kyrtzidis // RUN: %clang_cc1 -emit-pch %s -std=c++14 -o %t.pch 3*71b74ebbSArgyrios Kyrtzidis // RUN: c-index-test core -print-source-symbols -module-file %t.pch | FileCheck %s 4*71b74ebbSArgyrios Kyrtzidis 5*71b74ebbSArgyrios Kyrtzidis // CHECK: [[@LINE+2]]:8 | struct(Gen)/C++ | DETECTOR | [[DETECTOR_USR:.*]] | {{.*}} | Def | rel: 0 6*71b74ebbSArgyrios Kyrtzidis template <class _Default, class _AlwaysVoid, template <class...> class _Op, class... _Args> 7*71b74ebbSArgyrios Kyrtzidis struct DETECTOR { 8*71b74ebbSArgyrios Kyrtzidis using value_t = int; 9*71b74ebbSArgyrios Kyrtzidis }; 10*71b74ebbSArgyrios Kyrtzidis 11*71b74ebbSArgyrios Kyrtzidis struct nonesuch {}; 12*71b74ebbSArgyrios Kyrtzidis 13*71b74ebbSArgyrios Kyrtzidis // CHECK: [[@LINE+4]]:9 | type-alias/C++ | is_detected 14*71b74ebbSArgyrios Kyrtzidis // CHECK: [[@LINE+3]]:32 | struct(Gen)/C++ | DETECTOR | [[DETECTOR_USR]] | {{.*}} | Ref,RelCont | rel: 1 15*71b74ebbSArgyrios Kyrtzidis // CHECK-NEXT: RelCont | is_detected 16*71b74ebbSArgyrios Kyrtzidis template <template<class...> class _Op, class... _Args> 17*71b74ebbSArgyrios Kyrtzidis using is_detected = typename DETECTOR<nonesuch, void, _Op, _Args...>::value_t; 18