78         typedef std::list<T, Alloc> Cont;  in main()  typedef
80         static_assert(std::uses_allocator_v<Cont, ConvertibleToAlloc> &&  in main()
81                       !std::is_same_v<typename Cont::allocator_type, ConvertibleToAlloc>);  in main()
84         Cont cont;  in main()
86         static_assert(std::is_same_v<decltype(stk), std::stack<T, Cont>>);  in main()
90         Cont cont;  in main()
92         static_assert(std::is_same_v<decltype(stk), std::stack<T, Cont>>);  in main()
96         Cont cont;  in main()
98         static_assert(std::is_same_v<decltype(stk), std::stack<T, Cont>>);  in main()
102         Cont cont;  in main()
104         static_assert(std::is_same_v<decltype(stk), std::stack<T, Cont>>);  in main()
111         typedef std::list<T, Alloc> Cont;  in main()  typedef
113         static_assert(std::uses_allocator_v<Cont, ConvertibleToAlloc> &&  in main()
114                       !std::is_same_v<typename Cont::allocator_type, ConvertibleToAlloc>);  in main()
117         std::stack<T, Cont> source;  in main()
119         static_assert(std::is_same_v<decltype(stk), std::stack<T, Cont>>);  in main()
123         std::stack<T, Cont> source;  in main()
125         static_assert(std::is_same_v<decltype(stk), std::stack<T, Cont>>);  in main()
129         std::stack<T, Cont> source;  in main()
131         static_assert(std::is_same_v<decltype(stk), std::stack<T, Cont>>);  in main()
135         std::stack<T, Cont> source;  in main()
137         static_assert(std::is_same_v<decltype(stk), std::stack<T, Cont>>);  in main()
146         using Cont = std::list<int>;  in main()  typedef
155         static_assert(SFINAEs_away<std::stack, Cont, NotAlloc>);  in main()
156         static_assert(SFINAEs_away<std::stack, Cont, DiffAlloc>);  in main()