<random>: uniform_*_distribution Not Satisfy RandomNumberDistribution Named Requirements

[c0nstexpr]

Describe the bug

uniform_int_distribution::param() member is inherited from uniform_int.

STL/stl/inc/random

Line 2140 in 8dc4faa

_NODISCARD param_type param() const noexcept /* strengthened */ {

Thus the return type is uniform_int::param_type not uniform_int_distribution::param_type, which conflicts RandomNumberDistribution.

[frederick-vs-ja]

The correct param function is now here, which is not inherited from uniform_int.

STL/stl/inc/random

Lines 2264 to 2266 in 8dc4faa

	_NODISCARD param_type param() const noexcept /* strengthened */ {
	return _Mybase::param();
	}

Same for uniform_real_distribution.

STL/stl/inc/random

Lines 3155 to 3157 in 8dc4faa

	_NODISCARD param_type param() const noexcept /* strengthened */ {
	return _Mybase::param();
	}

The issue was existing before but fixed in #4284. You can use VS 2022 17.10 to check the status.