// RUN: %clang_cc1 -std=c++11 %s -verify
// expected-no-diagnostics
using size_t = decltype(sizeof(0));
template<typename T> struct check;
template<size_t N> struct check<const char[N]> {};
constexpr bool startswith(const char *p, const char *q) {
return !*q || (*p == *q && startswith(p + 1, q + 1));
}
constexpr bool contains(const char *p, const char *q) {
return *p && (startswith(p, q) || contains(p + 1, q));
}
void foo() {
check<decltype(__func__)>();
static_assert(contains(__func__, "foo"), "");
}