Files
2018-08-02 17:53:23 +01:00

23 lines
481 B
C++

// semmle-extractor-options: -std=c++17
template<typename T, typename U>
struct Pair {
Pair(T t, U u) {}
};
// TODO: accepted by GCC 7.1, rejected by the extractor
//template<typename... Args>
//bool all(Args... args) { return (... && args); }
//
//bool b = all(true, true, true, false);
namespace Foo::Bar {
static_assert(true);
}
int main() {
static_assert(true);
// Pair p(5.0, false); // TODO: accepted by GCC 7.1, rejected by the extractor
return 0;
}