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 // <memory>
105a83710eSEric Fiselier 
115a83710eSEric Fiselier // template <class Ptr>
125a83710eSEric Fiselier // struct pointer_traits
135a83710eSEric Fiselier // {
145a83710eSEric Fiselier //     typedef Ptr pointer;
155a83710eSEric Fiselier //     ...
165a83710eSEric Fiselier // };
175a83710eSEric Fiselier 
185a83710eSEric Fiselier #include <memory>
195a83710eSEric Fiselier #include <type_traits>
205a83710eSEric Fiselier 
21*7fc6a556SMarshall Clow #include "test_macros.h"
22*7fc6a556SMarshall Clow 
235a83710eSEric Fiselier struct A
245a83710eSEric Fiselier {
255a83710eSEric Fiselier     typedef short element_type;
265a83710eSEric Fiselier     typedef char difference_type;
275a83710eSEric Fiselier };
285a83710eSEric Fiselier 
main(int,char **)292df59c50SJF Bastien int main(int, char**)
305a83710eSEric Fiselier {
315a83710eSEric Fiselier     static_assert((std::is_same<std::pointer_traits<A>::pointer, A>::value), "");
325a83710eSEric Fiselier     static_assert((std::is_same<std::pointer_traits<int*>::pointer, int*>::value), "");
332df59c50SJF Bastien 
342df59c50SJF Bastien   return 0;
355a83710eSEric Fiselier }
36