113 template <template <typename> class Modifier1,
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()