blob: 7f4883754dded36e699628b29340d677ea3a3783 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// PR c++/97103
// { dg-do compile { target c++20 } }
template<typename R, typename Rep>
class quantity {};
template<template<typename, typename> typename Q>
inline constexpr bool valid_template_arguments = requires {
requires requires { typename Q<int, int>; };
};
static_assert(valid_template_arguments<quantity>);
|