Lines Matching refs:same_as
73 std::same_as<typename Modifier<int>::type, typename Modifier<int>::type>); in CheckSameAs()
75 std::same_as<typename Modifier<S1>::type, typename Modifier<S1>::type>); in CheckSameAs()
77 std::same_as<typename Modifier<S2>::type, typename Modifier<S2>::type>); in CheckSameAs()
79 std::same_as<typename Modifier<S3>::type, typename Modifier<S3>::type>); in CheckSameAs()
81 std::same_as<typename Modifier<S4>::type, typename Modifier<S4>::type>); in CheckSameAs()
83 std::same_as<typename Modifier<S5>::type, typename Modifier<S5>::type>); in CheckSameAs()
85 std::same_as<typename Modifier<C1>::type, typename Modifier<C1>::type>); in CheckSameAs()
87 std::same_as<typename Modifier<C2>::type, typename Modifier<C2>::type>); in CheckSameAs()
89 std::same_as<typename Modifier<C3>::type, typename Modifier<C3>::type>); in CheckSameAs()
90 static_assert(std::same_as<typename Modifier<C4<int> >::type, in CheckSameAs()
92 static_assert(std::same_as<typename Modifier<C4<int&> >::type, in CheckSameAs()
94 static_assert(std::same_as<typename Modifier<C4<int&&> >::type, in CheckSameAs()
96 static_assert(std::same_as<typename Modifier<C5<int> >::type, in CheckSameAs()
98 static_assert(std::same_as<typename Modifier<C5<int&> >::type, in CheckSameAs()
100 static_assert(std::same_as<typename Modifier<C5<int&&> >::type, in CheckSameAs()
102 static_assert(std::same_as<typename Modifier<C6<int> >::type, in CheckSameAs()
104 static_assert(std::same_as<typename Modifier<C6<int&> >::type, in CheckSameAs()
106 static_assert(std::same_as<typename Modifier<C6<int&&> >::type, in CheckSameAs()
109 static_assert(std::same_as<typename Modifier<void>::type, in CheckSameAs()
116 static_assert(!std::same_as<typename Modifier1<int>::type, in CheckNotSameAs()
118 static_assert(!std::same_as<typename Modifier1<S1>::type, in CheckNotSameAs()
120 static_assert(!std::same_as<typename Modifier1<S2>::type, in CheckNotSameAs()
122 static_assert(!std::same_as<typename Modifier1<S3>::type, in CheckNotSameAs()
124 static_assert(!std::same_as<typename Modifier1<S4>::type, in CheckNotSameAs()
126 static_assert(!std::same_as<typename Modifier1<S5>::type, in CheckNotSameAs()
128 static_assert(!std::same_as<typename Modifier1<C1>::type, in CheckNotSameAs()
130 static_assert(!std::same_as<typename Modifier1<C2>::type, in CheckNotSameAs()
132 static_assert(!std::same_as<typename Modifier1<C3>::type, in CheckNotSameAs()
134 static_assert(!std::same_as<typename Modifier1<C4<int> >::type, in CheckNotSameAs()
136 static_assert(!std::same_as<typename Modifier1<C4<int&> >::type, in CheckNotSameAs()
138 static_assert(!std::same_as<typename Modifier1<C4<int&&> >::type, in CheckNotSameAs()
140 static_assert(!std::same_as<typename Modifier1<C5<int> >::type, in CheckNotSameAs()
142 static_assert(!std::same_as<typename Modifier1<C5<int&> >::type, in CheckNotSameAs()
144 static_assert(!std::same_as<typename Modifier1<C5<int&&> >::type, in CheckNotSameAs()
146 static_assert(!std::same_as<typename Modifier1<C6<int> >::type, in CheckNotSameAs()
148 static_assert(!std::same_as<typename Modifier1<C6<int&> >::type, in CheckNotSameAs()
150 static_assert(!std::same_as<typename Modifier1<C6<int&&> >::type, in CheckNotSameAs()
156 requires std::same_as<T, U> void SubsumptionTest();
160 requires std::same_as<U, T> && true // NOLINT(readability-simplify-boolean-expr)
164 static_assert(std::same_as<int, decltype(SubsumptionTest<int, int>())>);
165 static_assert(std::same_as<int, decltype(SubsumptionTest<void, void>())>);
167 std::same_as<int, decltype(SubsumptionTest<int (*)(), int (*)()>())>);
169 std::same_as<
172 std::same_as<int, decltype(SubsumptionTest<int S2::*, int S2::*>())>);
174 std::same_as<int,
200 static_assert(std::same_as<void, void>); in main()
203 static_assert(std::same_as<void, Void>); in main()
205 static_assert(std::same_as<int[1], int[1]>); in main()
206 static_assert(std::same_as<int[2], int[2]>); in main()
208 static_assert(std::same_as<int (*)(), int (*)()>); in main()
209 static_assert(std::same_as<void (&)(), void (&)()>); in main()
210 static_assert(std::same_as<S1& (*)(S1), S1& (*)(S1)>); in main()
211 static_assert(std::same_as<C1& (&)(S1, int), C1& (&)(S1, int)>); in main()
213 static_assert(std::same_as<int S2::*, int S2::*>); in main()
214 static_assert(std::same_as<double S2::*, double S2::*>); in main()
216 static_assert(std::same_as<int& (S2::*)(), int& (S2::*)()>); in main()
217 static_assert(std::same_as<double& (S2::*)(int), double& (S2::*)(int)>); in main()
258 static_assert(!std::same_as<S1, C1>); in main()
259 static_assert(!std::same_as<C4<int>, C5<int> >); in main()
260 static_assert(!std::same_as<C4<int>, C5<int> >); in main()
261 static_assert(!std::same_as<C5<int, double>, C5<double, int> >); in main()
263 static_assert(!std::same_as<int&, const int&>); in main()
264 static_assert(!std::same_as<int&, volatile int&>); in main()
265 static_assert(!std::same_as<int&, const volatile int&>); in main()
267 static_assert(!std::same_as<int&&, const int&>); in main()
268 static_assert(!std::same_as<int&&, volatile int&>); in main()
269 static_assert(!std::same_as<int&&, const volatile int&>); in main()
271 static_assert(!std::same_as<int&, const int&&>); in main()
272 static_assert(!std::same_as<int&, volatile int&&>); in main()
273 static_assert(!std::same_as<int&, const volatile int&&>); in main()
275 static_assert(!std::same_as<int&&, const int&&>); in main()
276 static_assert(!std::same_as<int&&, volatile int&&>); in main()
277 static_assert(!std::same_as<int&&, const volatile int&&>); in main()
279 static_assert(!std::same_as<void, int>); in main()
281 static_assert(!std::same_as<int[1], int[2]>); in main()
282 static_assert(!std::same_as<double[1], int[2]>); in main()
284 static_assert(!std::same_as<int* (*)(), const int* (*)()>); in main()
285 static_assert(!std::same_as<void (&)(), void (&)(S1)>); in main()
286 static_assert(!std::same_as<S1 (*)(S1), S1& (*)(S1)>); in main()
287 static_assert(!std::same_as<C3 (&)(int), C1& (&)(S1, int)>); in main()
289 static_assert(!std::same_as<int S2::*, double S2::*>); in main()
291 static_assert(!std::same_as<int& (S2::*)(), double& (S2::*)(int)>); in main()