74         typedef std::list<T, Alloc> Cont;  in main()  typedef
76         static_assert(std::uses_allocator_v<Cont, ConvertibleToAlloc> &&  in main()
77                       !std::is_same_v<typename Cont::allocator_type, ConvertibleToAlloc>);  in main()
80         Cont cont;  in main()
82         static_assert(std::is_same_v<decltype(que), std::queue<T, Cont>>);  in main()
86         Cont cont;  in main()
88         static_assert(std::is_same_v<decltype(que), std::queue<T, Cont>>);  in main()
92         Cont cont;  in main()
94         static_assert(std::is_same_v<decltype(que), std::queue<T, Cont>>);  in main()
98         Cont cont;  in main()
100         static_assert(std::is_same_v<decltype(que), std::queue<T, Cont>>);  in main()
107         typedef std::list<T, Alloc> Cont;  in main()  typedef
109         static_assert(std::uses_allocator_v<Cont, ConvertibleToAlloc> &&  in main()
110                       !std::is_same_v<typename Cont::allocator_type, ConvertibleToAlloc>);  in main()
113         std::queue<T, Cont> source;  in main()
115         static_assert(std::is_same_v<decltype(que), std::queue<T, Cont>>);  in main()
119         std::queue<T, Cont> source;  in main()
121         static_assert(std::is_same_v<decltype(que), std::queue<T, Cont>>);  in main()
125         std::queue<T, Cont> source;  in main()
127         static_assert(std::is_same_v<decltype(que), std::queue<T, Cont>>);  in main()
131         std::queue<T, Cont> source;  in main()
133         static_assert(std::is_same_v<decltype(que), std::queue<T, Cont>>);  in main()
142         using Cont = std::list<int>;  in main()  typedef
151         static_assert(SFINAEs_away<std::queue, Cont, NotAlloc>);  in main()
152         static_assert(SFINAEs_away<std::queue, Cont, DiffAlloc>);  in main()