std

Author: K-ballo

test-files/golden-tests/config/sfinae/redeclare.cpp

@@ -1,6 +1,28 @@
 // issue #850
 
-#include <type_traits>
+namespace std
+{
+template <bool C, typename T = void>
+struct enable_if
+{
+    using type = T;
+};
+template <typename T>
+struct enable_if<false, typename T>
+{};
+
+template <bool C, typename T = void>
+using enable_if_t = typename enable_if<C, T>::type;
+
+template <typename T>
+struct is_class
+{
+    static constexpr bool value = true;
+};
+
+template <typename T>
+bool is_class_v = is_class<T>::value;
+}
 
 template <typename T>
 void f(std::enable_if_t<std::is_class_v<T>>);

test-files/golden-tests/config/sfinae/redeclare.yml

@@ -0,0 +1,2 @@
+exclude-symbols:
+  - 'std::**'

test-files/golden-tests/config/sfinae/return-based.cpp

@@ -1,6 +1,28 @@
 // issue #849
 
-#include <type_traits>
+namespace std
+{
+template <bool C, typename T = void>
+struct enable_if
+{
+    using type = T;
+};
+template <typename T>
+struct enable_if<false, typename T>
+{};
+
+template <bool C, typename T = void>
+using enable_if_t = typename enable_if<C, T>::type;
+
+template <typename T>
+struct is_class
+{
+    static constexpr bool value = true;
+};
+
+template <typename T>
+bool is_class_v = is_class<T>::value;
+}
 
 template <typename T>
 std::enable_if_t<std::is_class_v<T>, int> f();

test-files/golden-tests/config/sfinae/return-based.yml

@@ -0,0 +1,2 @@
+exclude-symbols:
+  - 'std::**'

test-files/golden-tests/snippets/sqrt.cpp

@@ -1,5 +1,26 @@
-#include <type_traits>
-#include <stdexcept>
+namespace std
+{
+template <bool C, typename T = void>
+struct enable_if
+{
+    using type = T;
+};
+template <typename T>
+struct enable_if<false, typename T>
+{};
+
+template <bool C, typename T = void>
+using enable_if_t = typename enable_if<C, T>::type;
+
+template <typename T>
+struct is_integral
+{
+    static constexpr bool value = true;
+};
+
+template <typename T>
+bool is_integral_v = is_integral<T>::value;
+}
 
 /** Computes the square root of an integral value.
 

test-files/golden-tests/snippets/sqrt.yml

@@ -0,0 +1,2 @@
+exclude-symbols:
+  - 'std::**'

test-files/golden-tests/symbols/function/sfinae.cpp

@@ -1,5 +1,29 @@
-#include <type_traits>
-#include <stdexcept>
+namespace std
+{
+template <bool C, typename T = void>
+struct enable_if
+{
+    using type = T;
+};
+template <typename T>
+struct enable_if<false, typename T>
+{};
+
+template <bool C, typename T = void>
+using enable_if_t = typename enable_if<C, T>::type;
+
+template <typename ...Ts>
+using void_t = void;
+
+template <typename T>
+struct is_integral
+{
+    static constexpr bool value = true;
+};
+
+template <typename T>
+bool is_integral_v = is_integral<T>::value;
+}
 
 /// Enabled via return type
 template <class T>

test-files/golden-tests/symbols/function/sfinae.yml

@@ -1,2 +1,4 @@
 warn-if-doc-error: false
 warn-no-paramdoc: false
+exclude-symbols:
+  - 'std::**'