18 struct S2 {  struct
77       std::same_as<typename Modifier<S2>::type, typename Modifier<S2>::type>);  in CheckSameAs()
120   static_assert(!std::same_as<typename Modifier1<S2>::type,  in CheckNotSameAs()
121                               typename Modifier2<S2>::type>);  in CheckNotSameAs()
172     std::same_as<int, decltype(SubsumptionTest<int S2::*, int S2::*>())>);
175                  decltype(SubsumptionTest<int& (S2::*)(), int& (S2::*)()>())>);
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()
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()