1 // -*- C++ -*- 2 //===----------------------------------------------------------------------===// 3 // 4 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5 // See https://llvm.org/LICENSE.txt for license information. 6 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7 // 8 //===----------------------------------------------------------------------===// 9 10 #ifndef _LIBCPP___ALGORITHM_IN_IN_RESULT_H 11 #define _LIBCPP___ALGORITHM_IN_IN_RESULT_H 12 13 #include <__concepts/convertible_to.h> 14 #include <__config> 15 #include <__utility/move.h> 16 17 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 18 #pragma GCC system_header 19 #endif 20 21 _LIBCPP_BEGIN_NAMESPACE_STD 22 23 #if !defined(_LIBCPP_HAS_NO_CONCEPTS) 24 25 namespace ranges { 26 27 template <class _I1, class _I2> 28 struct in_in_result { 29 [[no_unique_address]] _I1 in1; 30 [[no_unique_address]] _I2 in2; 31 32 template <class _II1, class _II2> 33 requires convertible_to<const _I1&, _II1> && convertible_to<const _I2&, _II2> 34 _LIBCPP_HIDE_FROM_ABI constexpr 35 operator in_in_result<_II1, _II2>() const & { 36 return {in1, in2}; 37 } 38 39 template <class _II1, class _II2> 40 requires convertible_to<_I1, _II1> && convertible_to<_I2, _II2> 41 _LIBCPP_HIDE_FROM_ABI constexpr 42 operator in_in_result<_II1, _II2>() && { return {_VSTD::move(in1), _VSTD::move(in2)}; } 43 }; 44 45 } // namespace ranges 46 47 #endif // !defined(_LIBCPP_HAS_NO_CONCEPTS) 48 49 _LIBCPP_END_NAMESPACE_STD 50 51 #endif // _LIBCPP___ALGORITHM_IN_IN_RESULT_H 52