erichkeane added a comment.
I was able to find a reproduction of the problem:
template<typename T, typename U>
struct is_same { static constexpr bool value = false; };
template<typename T>
struct is_same<T,T> { static constexpr bool value = false; };
template<typename T, typename U>
concept same_as = is_same<T, U>::value;
template <class _Tp>
struct __range_adaptor_closure {
template </*ranges::viewable_range */typename _View, typename _Closure>
requires same_as<_Tp, _Closure>
friend constexpr decltype(auto) operator|(_View&& __view, _Closure&&
__closure){};
};
struct A : __range_adaptor_closure<A>{};
struct B : __range_adaptor_closure<B>{};
As far as I can tell, there is nothing wrong with the libc++ code, so I have to
figure out why after this patch that the requires clause doesn't realize these
are different.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D119544/new/
https://reviews.llvm.org/D119544
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
