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// <ios> 11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// class ios_base 13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// { 14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// public: 15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// typedef OFF_T streamoff; 16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// }; 17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <ios> 19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <type_traits> 20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main() 22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert((std::is_integral<std::ios_base::streamoff>::value), ""); 24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert((std::is_signed<std::ios_base::streamoff>::value), ""); 25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 26