1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // <random>
10 
11 // template<class RealType = double>
12 // class student_t_distribution
13 // {
14 // public:
15 //     // types
16 //     typedef RealType result_type;
17 
18 #include <random>
19 #include <type_traits>
20 
21 #include "test_macros.h"
22 
main(int,char **)23 int main(int, char**)
24 {
25     {
26         typedef std::student_t_distribution<> D;
27         typedef D::result_type result_type;
28         static_assert((std::is_same<result_type, double>::value), "");
29     }
30     {
31         typedef std::student_t_distribution<float> D;
32         typedef D::result_type result_type;
33         static_assert((std::is_same<result_type, float>::value), "");
34     }
35 
36   return 0;
37 }
38