PageRenderTime 52ms CodeModel.GetById 19ms RepoModel.GetById 0ms app.codeStats 0ms

/libstdc++-v3/testsuite/20_util/result_of/sfinae_friendly_1.cc

https://bitbucket.org/bluezoo/gcc
C++ | 740 lines | 607 code | 103 blank | 30 comment | 0 complexity | d614b3f4261de924421d22c90169c972 MD5 | raw file
Possible License(s): GPL-2.0, LGPL-2.1, AGPL-1.0, GPL-3.0, BSD-3-Clause, LGPL-2.0 
    

  1. // { dg-options "-std=gnu++11" }
    2. 

  2. // { dg-do compile }
    3. 

  3. 

  4. // Copyright (C) 2012 Free Software Foundation, Inc.
    5. 

  5. //
    6. 

  6. // This file is part of the GNU ISO C++ Library.  This library is free
    7. 

  7. // software; you can redistribute it and/or modify it under the
    8. 

  8. // terms of the GNU General Public License as published by the
    9. 

  9. // Free Software Foundation; either version 3, or (at your option)
    10. 

  10. // any later version.
    11. 

  11. 

  12. // This library is distributed in the hope that it will be useful,
    13. 

  13. // but WITHOUT ANY WARRANTY; without even the implied warranty of
    14. 

  14. // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    15. 

  15. // GNU General Public License for more details.
    16. 

  16. 

  17. // You should have received a copy of the GNU General Public License along
    18. 

  18. // with this library; see the file COPYING3.  If not see
    19. 

  19. // <http://www.gnu.org/licenses/>.
    20. 

  20. 

  21. #include <memory>
    22. 

  22. #include <cstddef>
    23. 

  23. #include <type_traits>
    24. 

  24. 

  25. // TODO: Uncomment the following define once gcc has fixed bug 52748
    26. 

  26. // (incomplete types in function call expressions):
    27. 

  27. //#define HAS_52748_FIXED
    28. 

  28. 

  29. // Helper types:
    30. 

  30. struct has_type_impl
    31. 

  31. {
    32. 

  32.   template<typename T, typename = typename T::type>
    33. 

  33.   static std::true_type test(int);
    34. 

  34. 

  35.   template<typename>
    36. 

  36.   static std::false_type test(...);
    37. 

  37. };
    38. 

  38. 

  39. template<typename T>
    40. 

  40. struct has_type : public decltype(has_type_impl::test<T>(0))
    41. 

  41. {};
    42. 

  42. 

  43. template<typename T, typename Res>
    44. 

  44. struct is_expected_type : public std::is_same<typename T::type, Res>
    45. 

  45. {};
    46. 

  46. 

  47. template<typename P1, typename P2>
    48. 

  48. struct and_ : public std::conditional<P1::value, P2, std::false_type>::type
    49. 

  49. {};
    50. 

  50. 

  51. template<typename T, typename Res>
    52. 

  52. struct is_type : public and_<has_type<T>, is_expected_type<T, Res>>
    53. 

  53. {};
    54. 

  54. 

  55. // Types under inspection:
    56. 

  56. 

  57. typedef bool (&PF1)();
    58. 

  58. typedef short (*PF2)(long);
    59. 

  59. 

  60. struct S {
    61. 

  61.   operator PF2() const;
    62. 

  62.   double operator()(char, int&);
    63. 

  63.   void calc(long) const;
    64. 

  64. };
    65. 

  65. 

  66. typedef void (S::*PMS)(long) const;
    67. 

  67. typedef void (S::*PMSnonconst)(long);
    68. 

  68. 

  69. typedef int S::* PMI;
    70. 

  70. 

  71. struct B {
    72. 

  72.   int i;
    73. 

  73.   void f1() const;
    74. 

  74.   bool f2(int) const volatile;
    75. 

  75. };
    76. 

  76. 

  77. struct D : B {};
    78. 

  78. 

  79. typedef void (B::*base_func_void)() const;
    80. 

  80. typedef bool (B::*base_func_bool_int)(int) const volatile;
    81. 

  81. 

  82. struct ident_functor {
    83. 

  83.   template<typename T>
    84. 

  84.   T operator()(T&& x);
    85. 

  85. };
    86. 

  86. 

  87. template<typename Ret = void>
    88. 

  88. struct variable_functor {
    89. 

  89.   template<typename... T>
    90. 

  90.   Ret operator()(T&&...);
    91. 

  91. };
    92. 

  92. 

  93. struct ident_functor_noref {
    94. 

  94.   template<typename T>
    95. 

  95.   typename std::remove_reference<T>::type operator()(T&& x);
    96. 

  96. };
    97. 

  97. 

  98. enum class ScEn;
    99. 

  99. 

  100. enum UnScEn : int;
    101. 

  101. 

  102. union U {
    103. 

  103.   int i;
    104. 

  104.   double d;
    105. 

  105. };
    106. 

  106. 

  107. union U2 {
    108. 

  108.   int i;
    109. 

  109.   bool b;
    110. 

  110.   void operator()() const;
    111. 

  111.   int operator()(double) const;
    112. 

  112.   bool operator()(double);
    113. 

  113.   U operator()(int, int);
    114. 

  114. };
    115. 

  115. 

  116. struct Ukn;
    117. 

  117. 

  118. typedef Ukn (S::*PMSIncomplete)(long) const;
    119. 

  119. typedef Ukn (S::*PMSIncompletenonconst)(long);
    120. 

  120. typedef Ukn (*FuncIncomplete)(long);
    121. 

  121. 

  122. struct Abstract {
    123. 

  123.   virtual ~Abstract() = 0;
    124. 

  124. };
    125. 

  125. 

  126. struct Private {
    127. 

  127. private:
    128. 

  128.   void operator()();
    129. 

  129.   int operator()(int);
    130. 

  130. public:
    131. 

  131.   bool operator()(std::nullptr_t);
    132. 

  132. };
    133. 

  133. 

  134. union PrivateUnion {
    135. 

  135.   double d;
    136. 

  136. private:
    137. 

  137.   void operator()();
    138. 

  138.   int operator()(int);
    139. 

  139. public:
    140. 

  140.   bool operator()(std::nullptr_t);
    141. 

  141. };
    142. 

  142. 

  143. template<typename T>
    144. 

  144. struct ImplicitTo {
    145. 

  145.   operator T();
    146. 

  146. };
    147. 

  147. 

  148. template<typename>
    149. 

  149. struct never { static const bool value = false; };
    150. 

  150. 

  151. template<typename T>
    152. 

  152. struct BrokenTrait {
    153. 

  153.   static_assert(never<T>::value, "Error!");
    154. 

  154.   typedef T type;
    155. 

  155. };
    156. 

  156. 

  157. template<typename T>
    158. 

  158. struct BadSmartPtr : T {
    159. 

  159.   T& operator*() const noexcept(typename BrokenTrait<T>::type());
    160. 

  160. };
    161. 

  161. 

  162. template<typename Ret>
    163. 

  163. using FuncEllipses = Ret(...);
    164. 

  164. 

  165. static_assert(is_type<std::result_of<S(int)>, short>::value, "Error!");
    166. 

  166. static_assert(is_type<std::result_of<S&(unsigned char, int&)>,
    167. 

  167. 	      double>::value, "Error!");
    168. 

  168. static_assert(is_type<std::result_of<PF1()>, bool>::value, "Error!");
    169. 

  169. static_assert(is_type<std::result_of<PF1&()>, bool>::value, "Error!");
    170. 

  170. static_assert(is_type<std::result_of<PMS(std::unique_ptr<S>, int)>,
    171. 

  171. 	      void>::value, "Error!");
    172. 

  172. static_assert(is_type<std::result_of<PMS(std::unique_ptr<S>&, unsigned&)>,
    173. 

  173. 	      void>::value, "Error!");
    174. 

  174. static_assert(is_type<std::result_of<PMS&(std::unique_ptr<S>, int)>,
    175. 

  175. 	      void>::value, "Error!");
    176. 

  176. static_assert(is_type<std::result_of<PMS&(std::unique_ptr<S>&, unsigned&)>,
    177. 

  177. 	      void>::value, "Error!");
    178. 

  178. 

  179. static_assert(is_type<std::result_of<ident_functor(int)>,
    180. 

  180. 	      int>::value, "Error!");
    181. 

  181. static_assert(is_type<std::result_of<ident_functor(const int)>,
    182. 

  182. 	      int>::value, "Error!");
    183. 

  183. static_assert(is_type<std::result_of<ident_functor(const int&&)>,
    184. 

  184. 	      int>::value, "Error!");
    185. 

  185. static_assert(is_type<std::result_of<ident_functor(int&&)>,
    186. 

  186. 	      int>::value, "Error!");
    187. 

  187. static_assert(is_type<std::result_of<ident_functor(int&)>,
    188. 

  188. 	      int&>::value, "Error!");
    189. 

  189. 

  190. static_assert(is_type<std::result_of<ident_functor(const B)>,
    191. 

  191. 	      B>::value, "Error!");
    192. 

  192. static_assert(is_type<std::result_of<ident_functor(const B&&)>,
    193. 

  193. 	      const B>::value, "Error!");
    194. 

  194. static_assert(is_type<std::result_of<ident_functor(B&&)>, B>::value, "Error!");
    195. 

  195. static_assert(is_type<std::result_of<ident_functor(B&)>, B&>::value, "Error!");
    196. 

  196. 

  197. static_assert(is_type<std::result_of<int B::*(B&)>, int&>::value, "Error!");
    198. 

  198. 

  199. // This is expected as of CWG 616 P/R:
    200. 

  200. static_assert(is_type<std::result_of<int B::*(B)>, int&&>::value, "Error!");
    201. 

  201. 

  202. static_assert(is_type<std::result_of<volatile int B::*(const B&&)>,
    203. 

  203. 	      const volatile int&&>::value, "Error!");
    204. 

  204. static_assert(is_type<std::result_of<const int B::*(volatile B&&)>,
    205. 

  205. 	      const volatile int&&>::value, "Error!");
    206. 

  206. 

  207. static_assert(is_type<std::result_of<int B::*(const B&)>,
    208. 

  208. 	      const int&>::value, "Error!");
    209. 

  209. static_assert(is_type<std::result_of<volatile int B::*(const B&)>,
    210. 

  210. 	      const volatile int&>::value, "Error!");
    211. 

  211. static_assert(is_type<std::result_of<const int B::*(volatile B&)>,
    212. 

  212. 	      const volatile int&>::value, "Error!");
    213. 

  213. 

  214. static_assert(is_type<std::result_of<int B::*(B*)>, int&>::value, "Error!");
    215. 

  215. static_assert(is_type<std::result_of<int B::*(B*&)>, int&>(), "Error!");
    216. 

  216. static_assert(is_type<std::result_of<int B::*(const B*)>,
    217. 

  217. 	      const int&>::value, "Error!");
    218. 

  218. static_assert(is_type<std::result_of<int B::*(const B*&)>,
    219. 

  219. 	      const int&>::value, "Error!");
    220. 

  220. static_assert(is_type<std::result_of<volatile int B::*(const B*)>,
    221. 

  221. 	      const volatile int&>::value, "Error!");
    222. 

  222. static_assert(is_type<std::result_of<const int B::*(volatile B*)>,
    223. 

  223. 	      const volatile int&>::value, "Error!");
    224. 

  224. 

  225. static_assert(is_type<std::result_of<base_func_void(const B&)>,
    226. 

  226. 	      void>::value, "Error!");
    227. 

  227. static_assert(is_type<std::result_of<base_func_void(const B*)>,
    228. 

  228. 	      void>::value, "Error!");
    229. 

  229. static_assert(is_type<std::result_of<base_func_void(B&)>,
    230. 

  230. 	      void>::value, "Error!");
    231. 

  231. static_assert(is_type<std::result_of<base_func_void(B*)>,
    232. 

  232. 	      void>::value, "Error!");
    233. 

  233. 

  234. static_assert(!has_type<std::result_of<base_func_void(volatile B&)>>::value,
    235. 

  235. 	      "Error!");
    236. 

  236. static_assert(!has_type<std::result_of<base_func_void(volatile B*)>>::value,
    237. 

  237. 	      "Error!");
    238. 

  238. 

  239. static_assert(is_type<std::result_of<base_func_bool_int(B&, long)>,
    240. 

  240. 	      bool>::value, "Error!");
    241. 

  241. static_assert(is_type<std::result_of<base_func_bool_int(B*, long)>,
    242. 

  242. 	      bool>::value, "Error!");
    243. 

  243. static_assert(is_type<std::result_of<base_func_bool_int(volatile B&, long)>,
    244. 

  244. 	      bool>::value, "Error!");
    245. 

  245. static_assert(is_type<std::result_of<base_func_bool_int(volatile B*, long)>,
    246. 

  246. 	      bool>::value, "Error!");
    247. 

  247. 

  248. static_assert(!has_type<std::result_of<int()>>(), "Error!");
    249. 

  249. static_assert(!has_type<std::result_of<void()>>(), "Error!");
    250. 

  250. static_assert(!has_type<std::result_of<int(int)>>(), "Error!");
    251. 

  251. static_assert(!has_type<std::result_of<void(int)>>(), "Error!");
    252. 

  252. static_assert(!has_type<std::result_of<PF1(int)>>(), "Error!");
    253. 

  253. static_assert(is_type<std::result_of<PF2(long)>, short>(), "Error!");
    254. 

  254. static_assert(!has_type<std::result_of<PF2()>>(), "Error!");
    255. 

  255. static_assert(!has_type<std::result_of<PF2(B)>>(), "Error!");
    256. 

  256. static_assert(!has_type<std::result_of<PF2(ScEn)>>(), "Error!");
    257. 

  257. static_assert(is_type<std::result_of<PF2(UnScEn)>, short>(), "Error!");
    258. 

  258. static_assert(!has_type<std::result_of<PF2(long, int)>>(), "Error!");
    259. 

  259. static_assert(is_type<std::result_of<PMS(std::unique_ptr<S>, int)>, void>(),
    260. 

  260. 	      "Error!");
    261. 

  261. static_assert(!has_type<std::result_of<PMS(int)>>(), "Error!");
    262. 

  262. static_assert(!has_type<std::result_of<PMS(int, std::unique_ptr<S>)>>(), "Error!");
    263. 

  263. 

  264. // Argument number mismatch:
    265. 

  265. static_assert(!has_type<std::result_of<PMS(std::unique_ptr<S>)>>(), "Error!");
    266. 

  266. static_assert(!has_type<std::result_of<PMS(std::unique_ptr<S>&)>>(), "Error!");
    267. 

  267. static_assert(!has_type<std::result_of<PMS(std::unique_ptr<S>, int, bool)>>(),
    268. 

  268. 	      "Error!");
    269. 

  269. static_assert(!has_type<std::result_of<PMS(std::unique_ptr<S>&, int, bool)>>(),
    270. 

  270. 	      "Error!");
    271. 

  271. static_assert(!has_type<std::result_of<PMS(S)>>(), "Error!");
    272. 

  272. static_assert(!has_type<std::result_of<PMS(S&)>>(), "Error!");
    273. 

  273. static_assert(!has_type<std::result_of<PMS(S, int, bool)>>(), "Error!");
    274. 

  274. static_assert(!has_type<std::result_of<PMS(S&, int, bool)>>(), "Error!");
    275. 

  275. 

  276. // Non-convertible arguments:
    277. 

  277. static_assert(!has_type<std::result_of<PMS(std::unique_ptr<S>, S)>>(),
    278. 

  278. 	      "Error!");
    279. 

  279. static_assert(!has_type<std::result_of<PMS(std::unique_ptr<S>&, S)>>(),
    280. 

  280. 	      "Error!");
    281. 

  281. static_assert(!has_type<std::result_of<PMS(S, S)>>(), "Error!");
    282. 

  282. static_assert(!has_type<std::result_of<PMS(S&, S)>>(), "Error!");
    283. 

  283. 

  284. // cv-violations:
    285. 

  285. static_assert(!has_type<std::result_of<PMSnonconst(const S&, long)>>(),
    286. 

  286. 	      "Error!");
    287. 

  287. static_assert(!has_type<std::result_of<PMSnonconst(const S&&, long)>>(),
    288. 

  288. 	      "Error!");
    289. 

  289. static_assert(!has_type<std::result_of<PMSnonconst(const S*, long)>>(),
    290. 

  290. 	      "Error!");
    291. 

  291. static_assert(!has_type<std::result_of<PMSnonconst(const S*&, long)>>(),
    292. 

  292. 	      "Error!");
    293. 

  293. 

  294. static_assert(is_type<std::result_of<PMI(S*)>, int&>(), "Error!");
    295. 

  295. static_assert(is_type<std::result_of<PMI(S&)>, int&>(), "Error!");
    296. 

  296. static_assert(is_type<std::result_of<PMI(S&&)>, int&&>(), "Error!");
    297. 

  297. static_assert(is_type<std::result_of<PMI(S)>, int&&>(), "Error!");
    298. 

  298. 

  299. static_assert(!has_type<std::result_of<PMI()>>(), "Error!");
    300. 

  300. 

  301. static_assert(!has_type<std::result_of<PMI(S*, int)>>(), "Error!");
    302. 

  302. static_assert(!has_type<std::result_of<PMI(S&, int)>>(), "Error!");
    303. 

  303. static_assert(!has_type<std::result_of<PMI(S*, int, S, bool)>>(), "Error!");
    304. 

  304. static_assert(!has_type<std::result_of<PMI(S&, int, S, bool)>>(), "Error!");
    305. 

  305. 

  306. static_assert(!has_type<std::result_of<PMI(B*)>>(), "Error!");
    307. 

  307. static_assert(!has_type<std::result_of<PMI(B&)>>(), "Error!");
    308. 

  308. 

  309. static_assert(is_type<std::result_of<int U::*(U)>, int&&>(), "Error!");
    310. 

  310. static_assert(is_type<std::result_of<int U::*(U&)>, int&>(), "Error!");
    311. 

  311. static_assert(is_type<std::result_of<int U::*(const U&)>, const int&>(),
    312. 

  312. 	      "Error!");
    313. 

  313. static_assert(is_type<std::result_of
    314. 

  314. 	      <volatile int U::*(const U&)>, const volatile int&>(), "Error!");
    315. 

  315. static_assert(is_type<std::result_of
    316. 

  316. 	      <const int U::*(volatile U&)>, const volatile int&>(), "Error!");
    317. 

  317. 

  318. static_assert(is_type<std::result_of<int Ukn::*(Ukn*)>, int&>(), "Error!");
    319. 

  319. static_assert(is_type<std::result_of<int Ukn::*(Ukn&)>, int&>(), "Error!");
    320. 

  320. static_assert(is_type<std::result_of<int Ukn::*(Ukn&&)>, int&&>(), "Error!");
    321. 

  321. static_assert(is_type<std::result_of<int Ukn::*(const Ukn*)>, const int&>(),
    322. 

  322. 	      "Error!");
    323. 

  323. static_assert(is_type<std::result_of<int Ukn::*(const Ukn&)>, const int&>(),
    324. 

  324. 	      "Error!");
    325. 

  325. static_assert(is_type<std::result_of<int Ukn::*(const Ukn&&)>, const int&&>(),
    326. 

  326. 	      "Error!");
    327. 

  327. 

  328. typedef void (Ukn::* PUfnMF)();
    329. 

  329. typedef void (Ukn::* PUfnConstMF)() const;
    330. 

  330. 

  331. static_assert(is_type<std::result_of<PUfnMF(Ukn*)>, void>(), "Error!");
    332. 

  332. static_assert(is_type<std::result_of<PUfnMF(Ukn&)>, void>(), "Error!");
    333. 

  333. static_assert(is_type<std::result_of<PUfnMF(Ukn&&)>, void>(), "Error!");
    334. 

  334. static_assert(is_type<std::result_of<PUfnConstMF(Ukn*)>, void>(), "Error!");
    335. 

  335. static_assert(is_type<std::result_of<PUfnConstMF(Ukn&)>, void>(), "Error!");
    336. 

  336. static_assert(is_type<std::result_of<PUfnConstMF(Ukn&&)>, void>(), "Error!");
    337. 

  337. static_assert(is_type<std::result_of<PUfnConstMF(const Ukn*)>, void>(),
    338. 

  338. 	      "Error!");
    339. 

  339. static_assert(is_type<std::result_of<PUfnConstMF(const Ukn&)>, void>(),
    340. 

  340. 	      "Error!");
    341. 

  341. static_assert(is_type<std::result_of<PUfnConstMF(const Ukn&&)>, void>(),
    342. 

  342. 	      "Error!");
    343. 

  343. 

  344. static_assert(!has_type<std::result_of<S()>>(), "Error!");
    345. 

  345. static_assert(!has_type<std::result_of<S(int, S)>>(), "Error!");
    346. 

  346. static_assert(!has_type<std::result_of<S(S)>>(), "Error!");
    347. 

  347. static_assert(!has_type<std::result_of
    348. 

  348. 	      <S(double, bool, std::nullptr_t, Ukn&)>>(), "Error!");
    349. 

  349. 

  350. static_assert(is_type<std::result_of<U2()>, void>(), "Error!");
    351. 

  351. static_assert(is_type<std::result_of<const U2&()>, void>(), "Error!");
    352. 

  352. static_assert(is_type<std::result_of<U2&()>, void>(), "Error!");
    353. 

  353. static_assert(is_type<std::result_of<U2(double)>, bool>(), "Error!");
    354. 

  354. static_assert(is_type<std::result_of<const U2&(double)>, int>(), "Error!");
    355. 

  355. static_assert(is_type<std::result_of<U2&(double)>, bool>(), "Error!");
    356. 

  356. static_assert(is_type<std::result_of<U2(int)>, bool>(), "Error!");
    357. 

  357. static_assert(is_type<std::result_of<U2&(int)>, bool>(), "Error!");
    358. 

  358. static_assert(is_type<std::result_of<const U2&(int)>, int>(), "Error!");
    359. 

  359. static_assert(is_type<std::result_of<U2(int, int)>, U>(), "Error!");
    360. 

  360. static_assert(is_type<std::result_of<U2&(int, int)>, U>(), "Error!");
    361. 

  361. 

  362. static_assert(!has_type<std::result_of<const U2&(int, int)>>(), "Error!");
    363. 

  363. static_assert(!has_type<std::result_of<U2(int, int, int)>>(), "Error!");
    364. 

  364. static_assert(!has_type<std::result_of<U2&(int, int, int)>>(), "Error!");
    365. 

  365. static_assert(!has_type<std::result_of<const U2&(int, int, int)>>(), "Error!");
    366. 

  366. 

  367. static_assert(is_type<std::result_of<ident_functor(int)>, int>(), "Error!");
    368. 

  368. static_assert(is_type<std::result_of<ident_functor(const volatile int)>,
    369. 

  369. 	      int>(), "Error!");
    370. 

  370. static_assert(is_type<std::result_of<ident_functor(int&)>, int&>(), "Error!");
    371. 

  371. static_assert(is_type<std::result_of<ident_functor(const volatile int&)>,
    372. 

  372. 	      const volatile int&>(), "Error!");
    373. 

  373. static_assert(is_type<std::result_of<ident_functor(int&&)>, int>(), "Error!");
    374. 

  374. static_assert(is_type<std::result_of<ident_functor(const volatile int&&)>,
    375. 

  375. 	      int>(), "Error!");
    376. 

  376. static_assert(is_type<std::result_of<ident_functor(Abstract&)>, Abstract&>(),
    377. 

  377. 	      "Error!");
    378. 

  378. static_assert(is_type<std::result_of<ident_functor(const volatile Abstract&)>,
    379. 

  379. 	      const volatile Abstract&>(), "Error!");
    380. 

  380. 

  381. static_assert(!has_type<std::result_of<ident_functor(int(&&)[1])>>(), "Error!");
    382. 

  382. static_assert(!has_type<std::result_of<ident_functor(Abstract&&)>>(), "Error!");
    383. 

  383. static_assert(!has_type<std::result_of<ident_functor(const int(&&)[1])>>(),
    384. 

  384. 	      "Error!");
    385. 

  385. static_assert(!has_type<std::result_of<ident_functor(const Abstract&&)>>(),
    386. 

  386. 	      "Error!");
    387. 

  387. static_assert(!has_type<std::result_of<ident_functor_noref(int(&)[1])>>(),
    388. 

  388. 	      "Error!");
    389. 

  389. static_assert(!has_type<std::result_of<ident_functor_noref
    390. 

  390. 	      (const int(&)[1])>>(), "Error!");
    391. 

  391. static_assert(!has_type<std::result_of<ident_functor_noref(Abstract&)>>(),
    392. 

  392. 	      "Error!");
    393. 

  393. static_assert(!has_type<std::result_of
    394. 

  394. 	      <ident_functor_noref(const Abstract&)>>(), "Error!");
    395. 

  395. static_assert(!has_type<std::result_of<ident_functor_noref(void(&)())>>(),
    396. 

  396. 	      "Error!");
    397. 

  397. static_assert(!has_type<std::result_of<ident_functor_noref(void(&&)())>>(),
    398. 

  398. 	      "Error!");
    399. 

  399. 

  400. static_assert(!has_type<std::result_of<ident_functor()>>(), "Error!");
    401. 

  401. static_assert(!has_type<std::result_of<ident_functor(int, int)>>(), "Error!");
    402. 

  402. static_assert(!has_type<std::result_of<const ident_functor&(int)>>(), "Error!");
    403. 

  403. static_assert(!has_type<std::result_of<const ident_functor&&(int)>>(),
    404. 

  404. 	      "Error!");
    405. 

  405. 

  406. // Border-line case:
    407. 

  407. static_assert(!has_type<std::result_of<int S::*(Ukn*)>>(), "Error!");
    408. 

  408. static_assert(!has_type<std::result_of<void (S::*(Ukn*))()>>(), "Error!");
    409. 

  409. 

  410. // We want to allow this, it seems to be required by the order described 
    411. 

  411. // in [func.require] p1:
    412. 

  412. static_assert(is_type<std::result_of<int S::*(BadSmartPtr<S>&)>, int&>(),
    413. 

  413. 	      "Error!");
    414. 

  414. 

  415. static_assert(is_type<std::result_of<Private(std::nullptr_t)>, bool>(),
    416. 

  416. 	      "Error!");
    417. 

  417. static_assert(is_type<std::result_of<Private&(std::nullptr_t)>, bool>(),
    418. 

  418. 	      "Error!");
    419. 

  419. static_assert(is_type<std::result_of<Private&&(std::nullptr_t)>, bool>(),
    420. 

  420. 	      "Error!");
    421. 

  421. static_assert(is_type<std::result_of<Private(ImplicitTo<std::nullptr_t>)>,
    422. 

  422. 	      bool>(), "Error!");
    423. 

  423. static_assert(is_type<std::result_of<Private&(ImplicitTo<std::nullptr_t>)>,
    424. 

  424. 	      bool>(), "Error!");
    425. 

  425. static_assert(is_type<std::result_of<Private&&(ImplicitTo<std::nullptr_t>)>,
    426. 

  426. 	      bool>(), "Error!");
    427. 

  427. 

  428. static_assert(!has_type<std::result_of<const Private&(std::nullptr_t)>>(),
    429. 

  429. 	      "Error!");
    430. 

  430. static_assert(!has_type<std::result_of<const Private&&(std::nullptr_t)>>(),
    431. 

  431. 	      "Error!");
    432. 

  432. static_assert(!has_type<std::result_of<Private()>>(), "Error!");
    433. 

  433. static_assert(!has_type<std::result_of<Private(int)>>(), "Error!");
    434. 

  434. static_assert(!has_type<std::result_of<Private(int, int)>>(), "Error!");
    435. 

  435. static_assert(!has_type<std::result_of<Private&()>>(), "Error!");
    436. 

  436. static_assert(!has_type<std::result_of<Private&(int)>>(), "Error!");
    437. 

  437. static_assert(!has_type<std::result_of<Private&(int, int)>>(), "Error!");
    438. 

  438. static_assert(!has_type<std::result_of<const Private&()>>(), "Error!");
    439. 

  439. static_assert(!has_type<std::result_of<const Private&(int)>>(), "Error!");
    440. 

  440. static_assert(!has_type<std::result_of<const Private&(int, int)>>(), "Error!");
    441. 

  441. static_assert(!has_type<std::result_of<Private&&()>>(), "Error!");
    442. 

  442. static_assert(!has_type<std::result_of<Private&&(int)>>(), "Error!");
    443. 

  443. static_assert(!has_type<std::result_of<Private&&(int, int)>>(), "Error!");
    444. 

  444. static_assert(!has_type<std::result_of<const Private&&()>>(), "Error!");
    445. 

  445. static_assert(!has_type<std::result_of<const Private&&(int)>>(), "Error!");
    446. 

  446. static_assert(!has_type<std::result_of<const Private&&(int, int)>>(), "Error!");
    447. 

  447. 

  448. static_assert(!has_type<std::result_of<Private(ScEn)>>(), "Error!");
    449. 

  449. static_assert(!has_type<std::result_of<Private(UnScEn)>>(), "Error!");
    450. 

  450. static_assert(!has_type<std::result_of<const Private&(ScEn)>>(), "Error!");
    451. 

  451. static_assert(!has_type<std::result_of<const Private&(UnScEn)>>(), "Error!");
    452. 

  452. static_assert(!has_type<std::result_of<Private(ImplicitTo<ScEn>)>>(), "Error!");
    453. 

  453. static_assert(!has_type<std::result_of<Private(ImplicitTo<UnScEn>)>>(),
    454. 

  454. 	      "Error!");
    455. 

  455. static_assert(!has_type<std::result_of<const Private&(ImplicitTo<ScEn>)>>(),
    456. 

  456. 	      "Error!");
    457. 

  457. static_assert(!has_type<std::result_of<const Private&(ImplicitTo<UnScEn>)>>(),
    458. 

  458. 	      "Error!");
    459. 

  459. 

  460. static_assert(is_type<std::result_of<PrivateUnion(std::nullptr_t)>, bool>(),
    461. 

  461. 	      "Error!");
    462. 

  462. static_assert(is_type<std::result_of<PrivateUnion&(std::nullptr_t)>, bool>(),
    463. 

  463. 	      "Error!");
    464. 

  464. static_assert(is_type<std::result_of<PrivateUnion&&(std::nullptr_t)>, bool>(),
    465. 

  465. 	      "Error!");
    466. 

  466. static_assert(is_type<std::result_of<PrivateUnion(ImplicitTo<std::nullptr_t>)>,
    467. 

  467. 	      bool>(), "Error!");
    468. 

  468. static_assert(is_type<std::result_of
    469. 

  469. 	      <PrivateUnion&(ImplicitTo<std::nullptr_t>)>, bool>(), "Error!");
    470. 

  470. static_assert(is_type<std::result_of
    471. 

  471. 	      <PrivateUnion&&(ImplicitTo<std::nullptr_t>)>, bool>(), "Error!");
    472. 

  472. 

  473. static_assert(!has_type<std::result_of<const PrivateUnion&(std::nullptr_t)>>(),
    474. 

  474. 	      "Error!");
    475. 

  475. static_assert(!has_type<std::result_of
    476. 

  476. 	      <const PrivateUnion&&(std::nullptr_t)>>(), "Error!");
    477. 

  477. static_assert(!has_type<std::result_of<PrivateUnion()>>(), "Error!");
    478. 

  478. static_assert(!has_type<std::result_of<PrivateUnion(int)>>(), "Error!");
    479. 

  479. static_assert(!has_type<std::result_of<PrivateUnion(int, int)>>(), "Error!");
    480. 

  480. static_assert(!has_type<std::result_of<PrivateUnion&()>>(), "Error!");
    481. 

  481. static_assert(!has_type<std::result_of<PrivateUnion&(int)>>(), "Error!");
    482. 

  482. static_assert(!has_type<std::result_of<PrivateUnion&(int, int)>>(), "Error!");
    483. 

  483. static_assert(!has_type<std::result_of<const PrivateUnion&()>>(), "Error!");
    484. 

  484. static_assert(!has_type<std::result_of<const PrivateUnion&(int)>>(), "Error!");
    485. 

  485. static_assert(!has_type<std::result_of<const PrivateUnion&(int, int)>>(),
    486. 

  486. 	      "Error!");
    487. 

  487. static_assert(!has_type<std::result_of<PrivateUnion&&()>>(), "Error!");
    488. 

  488. static_assert(!has_type<std::result_of<PrivateUnion&&(int)>>(), "Error!");
    489. 

  489. static_assert(!has_type<std::result_of<PrivateUnion&&(int, int)>>(), "Error!");
    490. 

  490. static_assert(!has_type<std::result_of<const PrivateUnion&&()>>(), "Error!");
    491. 

  491. static_assert(!has_type<std::result_of<const PrivateUnion&&(int)>>(), "Error!");
    492. 

  492. static_assert(!has_type<std::result_of<const PrivateUnion&&(int, int)>>(),
    493. 

  493. 	      "Error!");
    494. 

  494. 

  495. static_assert(!has_type<std::result_of<PrivateUnion(ScEn)>>(), "Error!");
    496. 

  496. static_assert(!has_type<std::result_of<PrivateUnion(UnScEn)>>(), "Error!");
    497. 

  497. static_assert(!has_type<std::result_of<const PrivateUnion&(ScEn)>>(), "Error!");
    498. 

  498. static_assert(!has_type<std::result_of<const PrivateUnion&(UnScEn)>>(),
    499. 

  499. 	      "Error!");
    500. 

  500. static_assert(!has_type<std::result_of<PrivateUnion(ImplicitTo<ScEn>)>>(),
    501. 

  501. 	      "Error!");
    502. 

  502. static_assert(!has_type<std::result_of<PrivateUnion(ImplicitTo<UnScEn>)>>(),
    503. 

  503. 	      "Error!");
    504. 

  504. static_assert(!has_type<std::result_of
    505. 

  505. 	      <const PrivateUnion&(ImplicitTo<ScEn>)>>(), "Error!");
    506. 

  506. static_assert(!has_type<std::result_of
    507. 

  507. 	      <const PrivateUnion&(ImplicitTo<UnScEn>)>>(), "Error!");
    508. 

  508. 

  509. static_assert(is_type<std::result_of<void(*(bool))(int)>, void>(), "Error!");
    510. 

  510. static_assert(is_type<std::result_of<void(*(UnScEn))(int)>, void>(), "Error!");
    511. 

  511. static_assert(is_type<std::result_of<void(*(ImplicitTo<int>))(int)>, void>(),
    512. 

  512. 	      "Error!");
    513. 

  513. static_assert(is_type<std::result_of<void(*(ImplicitTo<int>&))(int)>, void>(),
    514. 

  514. 	      "Error!");
    515. 

  515. static_assert(is_type<std::result_of<void(*(ImplicitTo<int>&&))(int)>, void>(),
    516. 

  516. 	      "Error!");
    517. 

  517. 

  518. static_assert(!has_type<std::result_of<void(*(ScEn))(int)>>(), "Error!");
    519. 

  519. static_assert(!has_type<std::result_of
    520. 

  520. 	      <void(*(const ImplicitTo<int>&))(int)>>(), "Error!");
    521. 

  521. static_assert(!has_type<std::result_of
    522. 

  522. 	      <void(*(const ImplicitTo<int>&&))(int)>>(), "Error!");
    523. 

  523. 

  524. static_assert(is_type<std::result_of<ImplicitTo<void(*)()>()>, void>(),
    525. 

  525. 	      "Error!");
    526. 

  526. static_assert(is_type<std::result_of<ImplicitTo<void(&)()>()>, void>(),
    527. 

  527. 	      "Error!");
    528. 

  528. 

  529. static_assert(!has_type<std::result_of<ImplicitTo<void(*)()>(int)>>(),
    530. 

  530. 	      "Error!");
    531. 

  531. static_assert(!has_type<std::result_of<ImplicitTo<void(*)(int)>()>>(),
    532. 

  532. 	      "Error!");
    533. 

  533. static_assert(!has_type<std::result_of<ImplicitTo<void(&)()>(int)>>(),
    534. 

  534. 	      "Error!");
    535. 

  535. static_assert(!has_type<std::result_of<ImplicitTo<void(&)(int)>()>>(),
    536. 

  536. 	      "Error!");
    537. 

  537. 

  538. // Conversion operators of types are not considered in call expressions
    539. 

  539. // (except for conversion to function pointer/reference):
    540. 

  540. static_assert(!has_type<std::result_of<ImplicitTo<S>(char, int&)>>(), "Error!");
    541. 

  541. static_assert(!has_type<std::result_of<ImplicitTo<ident_functor>(int)>>(),
    542. 

  542. 	      "Error!");
    543. 

  543. 

  544. static_assert(is_type<std::result_of<variable_functor<>()>, void>(), "Error!");
    545. 

  545. static_assert(is_type<std::result_of<variable_functor<>(int)>, void>(),
    546. 

  546. 	      "Error!");
    547. 

  547. static_assert(is_type<std::result_of<variable_functor<>(int, int)>, void>(),
    548. 

  548. 	      "Error!");
    549. 

  549. static_assert(is_type<std::result_of<variable_functor<>(int, int, int)>,
    550. 

  550. 	      void>(), "Error!");
    551. 

  551. 

  552. static_assert(is_type<std::result_of<variable_functor<>&()>, void>(), "Error!");
    553. 

  553. static_assert(is_type<std::result_of<variable_functor<>&(int)>, void>(),
    554. 

  554. 	      "Error!");
    555. 

  555. static_assert(is_type<std::result_of<variable_functor<>&(int, int)>, void>(),
    556. 

  556. 	      "Error!");
    557. 

  557. static_assert(is_type<std::result_of<variable_functor<>&(int, int, int)>,
    558. 

  558. 	      void>(), "Error!");
    559. 

  559. 

  560. static_assert(!has_type<std::result_of<const variable_functor<>()>>(),
    561. 

  561. 	      "Error!");
    562. 

  562. static_assert(!has_type<std::result_of<const variable_functor<>(int)>>(),
    563. 

  563. 	      "Error!");
    564. 

  564. static_assert(!has_type<std::result_of<const variable_functor<>(int, int)>>(),
    565. 

  565. 	      "Error!");
    566. 

  566. static_assert(!has_type<std::result_of
    567. 

  567. 	      <const variable_functor<>(int, int, int)>>(), "Error!");
    568. 

  568. 

  569. static_assert(!has_type<std::result_of<const variable_functor<>&()>>(),
    570. 

  570. 	      "Error!");
    571. 

  571. static_assert(!has_type<std::result_of<const variable_functor<>&(int)>>(),
    572. 

  572. 	      "Error!");
    573. 

  573. static_assert(!has_type<std::result_of
    574. 

  574. 	      <const variable_functor<>&(int, int)>>(), "Error!");
    575. 

  575. static_assert(!has_type<std::result_of
    576. 

  576. 	      <const variable_functor<>&(int, int, int)>>(), "Error!");
    577. 

  577. 

  578. static_assert(is_type<std::result_of<variable_functor<S>()>, S>(), "Error!");
    579. 

  579. static_assert(is_type<std::result_of<variable_functor<S>(int)>, S>(), "Error!");
    580. 

  580. static_assert(is_type<std::result_of<variable_functor<S>(int, int)>, S>(),
    581. 

  581. 	      "Error!");
    582. 

  582. static_assert(is_type<std::result_of<variable_functor<S>(int, int, int)>, S>(),
    583. 

  583. 	      "Error!");
    584. 

  584. 

  585. static_assert(is_type<std::result_of<variable_functor<S>&()>, S>(), "Error!");
    586. 

  586. static_assert(is_type<std::result_of<variable_functor<S>&(int)>, S>(),
    587. 

  587. 	      "Error!");
    588. 

  588. static_assert(is_type<std::result_of<variable_functor<S>&(int, int)>, S>(),
    589. 

  589. 	      "Error!");
    590. 

  590. static_assert(is_type<std::result_of
    591. 

  591. 	      <variable_functor<S>&(int, int, int)>, S>(), "Error!");
    592. 

  592. 

  593. static_assert(!has_type<std::result_of
    594. 

  594. 	      <const variable_functor<S>()>>(), "Error!");
    595. 

  595. static_assert(!has_type<std::result_of
    596. 

  596. 	      <const variable_functor<S>(int)>>(), "Error!");
    597. 

  597. static_assert(!has_type<std::result_of
    598. 

  598. 	      <const variable_functor<S>(int, int)>>(), "Error!");
    599. 

  599. static_assert(!has_type<std::result_of
    600. 

  600. 	      <const variable_functor<S>(int, int, int)>>(), "Error!");
    601. 

  601. 

  602. static_assert(!has_type<std::result_of<const variable_functor<S>&()>>(),
    603. 

  603. 	      "Error!");
    604. 

  604. static_assert(!has_type<std::result_of<const variable_functor<S>&(int)>>(),
    605. 

  605. 	      "Error!");
    606. 

  606. static_assert(!has_type<std::result_of
    607. 

  607. 	      <const variable_functor<S>&(int, int)>>(), "Error!");
    608. 

  608. static_assert(!has_type<std::result_of
    609. 

  609. 	      <const variable_functor<S>&(int, int, int)>>(), "Error!");
    610. 

  610. 

  611. #if defined(HAS_52748_FIXED)
    612. 

  612. static_assert(has_type<std::result_of<variable_functor<Ukn>()>>(), "Error!");
    613. 

  613. static_assert(is_type<std::result_of<variable_functor<Ukn>()>, Ukn>(),
    614. 

  614. 	      "Error!");
    615. 

  615. static_assert(is_type<std::result_of<variable_functor<Ukn>(int)>, Ukn>(),
    616. 

  616. 	      "Error!");
    617. 

  617. static_assert(is_type<std::result_of<variable_functor<Ukn>(int, int)>, Ukn>(),
    618. 

  618. 	      "Error!");
    619. 

  619. static_assert(is_type<std::result_of
    620. 

  620. 	      <variable_functor<Ukn>(int, int, int)>, Ukn>(), "Error!");
    621. 

  621. 

  622. static_assert(is_type<std::result_of<variable_functor<Ukn>&()>, Ukn>(),
    623. 

  623. 	      "Error!");
    624. 

  624. static_assert(is_type<std::result_of<variable_functor<Ukn>&(int)>, Ukn>(),
    625. 

  625. 	      "Error!");
    626. 

  626. static_assert(is_type<std::result_of
    627. 

  627. 	      <variable_functor<Ukn>&(int, int)>, Ukn>(), "Error!");
    628. 

  628. static_assert(is_type<std::result_of
    629. 

  629. 	      <variable_functor<Ukn>&(int, int, int)>, Ukn>(), "Error!");
    630. 

  630. 

  631. static_assert(is_type<std::result_of<PMSIncomplete(int)>, Ukn>(), "Error!");
    632. 

  632. static_assert(is_type<std::result_of<PMSIncomplete&(int)>, Ukn>(), "Error!");
    633. 

  633. static_assert(is_type<std::result_of<PMSIncomplete&&(int)>, Ukn>(), "Error!");
    634. 

  634. 

  635. static_assert(is_type<std::result_of<FuncIncomplete(int)>, Ukn>(), "Error!");
    636. 

  636. static_assert(is_type<std::result_of<FuncIncomplete&(int)>, Ukn>(), "Error!");
    637. 

  637. static_assert(is_type<std::result_of<FuncIncomplete&&(int)>, Ukn>(), "Error!");
    638. 

  638. 

  639. static_assert(is_type<std::result_of<FuncEllipses<Ukn>*()>, Ukn>(), "Error!");
    640. 

  640. static_assert(is_type<std::result_of<FuncEllipses<Ukn>&()>, Ukn>(), "Error!");
    641. 

  641. static_assert(is_type<std::result_of<FuncEllipses<Ukn>&&()>, Ukn>(), "Error!");
    642. 

  642. 

  643. static_assert(is_type<std::result_of<FuncEllipses<Ukn>*(bool)>, Ukn>(),
    644. 

  644. 	      "Error!");
    645. 

  645. static_assert(is_type<std::result_of<FuncEllipses<Ukn>&(bool)>, Ukn>(),
    646. 

  646. 	      "Error!");
    647. 

  647. static_assert(is_type<std::result_of<FuncEllipses<Ukn>&&(bool)>, Ukn>(),
    648. 

  648. 	      "Error!");
    649. 

  649. 

  650. static_assert(is_type<std::result_of<FuncEllipses<Ukn>*(bool, int, S)>, Ukn>(),
    651. 

  651. 	      "Error!");
    652. 

  652. static_assert(is_type<std::result_of<FuncEllipses<Ukn>&(bool, int, S)>, Ukn>(),
    653. 

  653. 	      "Error!");
    654. 

  654. static_assert(is_type<std::result_of
    655. 

  655. 	      <FuncEllipses<Ukn>&&(bool, int, S)>, Ukn>(), "Error!");
    656. 

  656. 

  657. static_assert(!has_type<std::result_of<PMSIncompletenonconst(const S*)>>(),
    658. 

  658. 	      "Error!");
    659. 

  659. static_assert(!has_type<std::result_of
    660. 

  660. 	      <PMSIncompletenonconst(const S*, int)>>(), "Error!");
    661. 

  661. static_assert(!has_type<std::result_of
    662. 

  662. 	      <PMSIncompletenonconst(const S*, int, int)>>(), "Error!");
    663. 

  663. static_assert(!has_type<std::result_of
    664. 

  664. 	      <PMSIncompletenonconst(const S*, int, int, int)>>(), "Error!");
    665. 

  665. static_assert(!has_type<std::result_of
    666. 

  666. 	      <PMSIncompletenonconst(const S*&)>>(), "Error!");
    667. 

  667. static_assert(!has_type<std::result_of
    668. 

  668. 	      <PMSIncompletenonconst(const S*&, int)>>(), "Error!");
    669. 

  669. static_assert(!has_type<std::result_of
    670. 

  670. 	      <PMSIncompletenonconst(const S*&, int, int)>>(), "Error!");
    671. 

  671. static_assert(!has_type<std::result_of
    672. 

  672. 	      <PMSIncompletenonconst(const S*&, int, int, int)>>(), "Error!");
    673. 

  673. 

  674. static_assert(!has_type<std::result_of
    675. 

  675. 	      <PMSIncompletenonconst(const S&)>>(), "Error!");
    676. 

  676. static_assert(!has_type<std::result_of
    677. 

  677. 	      <PMSIncompletenonconst(const S&, int)>>(), "Error!");
    678. 

  678. static_assert(!has_type<std::result_of
    679. 

  679. 	      <PMSIncompletenonconst(const S&, int, int)>>(), "Error!");
    680. 

  680. static_assert(!has_type<std::result_of
    681. 

  681. 	      <PMSIncompletenonconst(const S&, int, int, int)>>(), "Error!");
    682. 

  682. static_assert(!has_type<std::result_of
    683. 

  683. 	      <PMSIncompletenonconst(const S&&)>>(), "Error!");
    684. 

  684. static_assert(!has_type<std::result_of
    685. 

  685. 	      <PMSIncompletenonconst(const S&&, int)>>(), "Error!");
    686. 

  686. static_assert(!has_type<std::result_of
    687. 

  687. 	      <PMSIncompletenonconst(const S&&, int, int)>>(), "Error!");
    688. 

  688. static_assert(!has_type<std::result_of
    689. 

  689. 	      <PMSIncompletenonconst(const S&&, int, int, int)>>(), "Error!");
    690. 

  690. #endif
    691. 

  691. 

  692. static_assert(!has_type<std::result_of<const variable_functor<Ukn>()>>(),
    693. 

  693. 	      "Error!");
    694. 

  694. static_assert(!has_type<std::result_of<const variable_functor<Ukn>(int)>>(),
    695. 

  695. 	      "Error!");
    696. 

  696. static_assert(!has_type<std::result_of
    697. 

  697. 	      <const variable_functor<Ukn>(int, int)>>(), "Error!");
    698. 

  698. static_assert(!has_type<std::result_of
    699. 

  699. 	      <const variable_functor<Ukn>(int, int, int)>>(), "Error!");
    700. 

  700. 

  701. static_assert(!has_type<std::result_of<const variable_functor<Ukn>&()>>(),
    702. 

  702. 	      "Error!");
    703. 

  703. static_assert(!has_type<std::result_of<const variable_functor<Ukn>&(int)>>(),
    704. 

  704. 	      "Error!");
    705. 

  705. static_assert(!has_type<std::result_of
    706. 

  706. 	      <const variable_functor<Ukn>&(int, int)>>(), "Error!");
    707. 

  707. static_assert(!has_type<std::result_of
    708. 

  708. 	      <const variable_functor<Ukn>&(int, int, int)>>(), "Error!");
    709. 

  709. 

  710. static_assert(!has_type<std::result_of<FuncIncomplete()>>(), "Error!");
    711. 

  711. static_assert(!has_type<std::result_of<FuncIncomplete(S)>>(), "Error!");
    712. 

  712. static_assert(!has_type<std::result_of<FuncIncomplete(int, int)>>(), "Error!");
    713. 

  713. static_assert(!has_type<std::result_of<FuncIncomplete(int, int, int)>>(),
    714. 

  714. 	      "Error!");
    715. 

  715. 

  716. static_assert(!has_type<std::result_of<FuncIncomplete&&()>>(), "Error!");
    717. 

  717. static_assert(!has_type<std::result_of<FuncIncomplete&&(S)>>(), "Error!");
    718. 

  718. static_assert(!has_type<std::result_of<FuncIncomplete&&(int, int)>>(),
    719. 

  719. 	      "Error!");
    720. 

  720. static_assert(!has_type<std::result_of<FuncIncomplete&&(int, int, int)>>(),
    721. 

  721. 	      "Error!");
    722. 

  722. 

  723. static_assert(is_type<std::result_of<FuncEllipses<int>*()>, int>(), "Error!");
    724. 

  724. static_assert(is_type<std::result_of<FuncEllipses<int>&()>, int>(), "Error!");
    725. 

  725. static_assert(is_type<std::result_of<FuncEllipses<int>&&()>, int>(), "Error!");
    726. 

  726. 

  727. static_assert(is_type<std::result_of<FuncEllipses<int>*(bool)>, int>(),
    728. 

  728. 	      "Error!");
    729. 

  729. static_assert(is_type<std::result_of<FuncEllipses<int>&(bool)>, int>(),
    730. 

  730. 	      "Error!");
    731. 

  731. static_assert(is_type<std::result_of<FuncEllipses<int>&&(bool)>, int>(), 
    732. 

  732. 	      "Error!");
    733. 

  733. 

  734. static_assert(is_type<std::result_of<FuncEllipses<int>*(bool, int, S)>, int>(),
    735. 

  735. 	      "Error!");
    736. 

  736. static_assert(is_type<std::result_of<FuncEllipses<int>&(bool, int, S)>, int>(),
    737. 

  737. 	      "Error!");
    738. 

  738. static_assert(is_type<std::result_of
    739. 

  739. 	      <FuncEllipses<int>&&(bool, int, S)>, int>(), "Error!");
    740. 

  740. 

  741.