2 // { dg-do compile { target c++20 } }
11 /************************************************/
12 template<bool is_type>
15 template<auto V> requires (!is_type)
16 constexpr use_ctad(nttp_tag<V>) {}
20 use_ctad(nttp_tag<V>) -> use_ctad<false>;
22 /**********************************************/
26 template<typename Tag>
30 template<typename Tag>
31 wrapper(Tag) -> wrapper<use_ctad{Tag()}>;
35 wrapper t{nttp_tag<42>{}};