xref: /llvm-project/libcxx/test/std/utilities/utility/declval/declval.pass.cpp (revision 87cf92d9cb9379f7d3f1a601fc17d56bb2d18d80)
15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier 
95a83710eSEric Fiselier // <utility>
105a83710eSEric Fiselier 
115a83710eSEric Fiselier // template <class T> typename add_rvalue_reference<T>::type declval() noexcept;
125a83710eSEric Fiselier 
135a83710eSEric Fiselier #include <utility>
145a83710eSEric Fiselier #include <type_traits>
155a83710eSEric Fiselier 
16abd52cadSEric Fiselier #include "test_macros.h"
17abd52cadSEric Fiselier 
185a83710eSEric Fiselier class A
195a83710eSEric Fiselier {
205a83710eSEric Fiselier     A(const A&);
215a83710eSEric Fiselier     A& operator=(const A&);
225a83710eSEric Fiselier };
235a83710eSEric Fiselier 
main(int,char **)24*2df59c50SJF Bastien int main(int, char**)
255a83710eSEric Fiselier {
265a83710eSEric Fiselier     static_assert((std::is_same<decltype(std::declval<A>()), A&&>::value), "");
27*2df59c50SJF Bastien 
28*2df59c50SJF Bastien   return 0;
295a83710eSEric Fiselier }
30