// PR c++/92944 | |
// { dg-do compile { target c++20 } } | |
namespace ns { template<class T> struct A { }; } | |
template<class T> requires true struct ns::A<T> { using type = T; }; | |
template<class T> requires false struct ns::A<T> { }; | |
template<class T> struct ns::A<T*> { }; | |
template<class T> requires true struct ns::A<T*> { using type = T; }; | |
template<class T> requires false struct ns::A<T*> { }; | |
using ty1 = ns::A<int>::type; | |
using ty1 = int; | |
using ty2 = ns::A<int*>::type; | |
using ty2 = int; |