1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===// 2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// The LLVM Compiler Infrastructure 4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open 6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details. 7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===// 9b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 10b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// <memory> 11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// template <class Ptr> 13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// struct pointer_traits 14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// { 15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// typedef <details> difference_type; 16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// ... 17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// }; 18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <memory> 20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <type_traits> 21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct A 23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner typedef short element_type; 25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner typedef char difference_type; 26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct B 29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner typedef short element_type; 31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class T> 34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct C {}; 35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class T> 37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct D 38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 39b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner typedef char difference_type; 40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main() 43b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 44b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert((std::is_same<std::pointer_traits<A>::difference_type, char>::value), ""); 45b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert((std::is_same<std::pointer_traits<B>::difference_type, std::ptrdiff_t>::value), ""); 46b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert((std::is_same<std::pointer_traits<C<double> >::difference_type, std::ptrdiff_t>::value), ""); 47b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert((std::is_same<std::pointer_traits<D<int> >::difference_type, char>::value), ""); 48b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 49