<ranges> error: requires clause differs in template redeclaration

<ranges> error: requires clause differs in template redeclaration

[Stephan Bergmann]

I just noticed that Clang -std=c++2b complains (and I assume rightly so) 
about <ranges>

> .../lib/gcc/x86_64-pc-linux-gnu/13.0.1/../../../../include/c++/13.0.1/ranges:6123:14: error: requires clause differs in template redeclaration
>     requires forward_range<_Vp>
>              ^
> .../lib/gcc/x86_64-pc-linux-gnu/13.0.1/../../../../include/c++/13.0.1/ranges:5822:14: note: previous template declaration is here
>     requires input_range<_Vp>
>              ^

and

> .../lib/gcc/x86_64-pc-linux-gnu/13.0.1/../../../../include/c++/13.0.1/ranges:7456:14: error: requires clause differs in template redeclaration
>     requires __detail::__is_integer_like<_Bound> || same_as<_Bound, unreachable_sentinel_t>
>              ^
> .../lib/gcc/x86_64-pc-linux-gnu/13.0.1/../../../../include/c++/13.0.1/ranges:7391:14: note: previous template declaration is here
>     requires (is_object_v<_Tp> && same_as<_Tp, remove_cv_t<_Tp>>
>              ^

that had been added with 
<https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=5d84a4418aa962a715dc74998fea2a7de9d4042c> 
"libstdc++: Implement ranges::chunk_view from P2442R1" and 
<https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=bfcd9f84531fa99e9d00efd8bcfd3c8ac16fa360> 
"libstdc++: Implement ranges::repeat_view from P2474R2", respectively.

Re: <ranges> error: requires clause differs in template redeclaration

[Stephan Bergmann]

On 13/02/2023 12:14, Stephan Bergmann wrote:
> I just noticed that Clang -std=c++2b complains (and I assume rightly so) 
> about <ranges>
> 
>> .../lib/gcc/x86_64-pc-linux-gnu/13.0.1/../../../../include/c++/13.0.1/ranges:6123:14: error: requires clause differs in template redeclaration
>>     requires forward_range<_Vp>
>>              ^
>> .../lib/gcc/x86_64-pc-linux-gnu/13.0.1/../../../../include/c++/13.0.1/ranges:5822:14: note: previous template declaration is here
>>     requires input_range<_Vp>
>>              ^

ah no, there's multiple chunk_view with different requires clauses, so 
this first one rather looks like a Clang bug

Re: <ranges> error: requires clause differs in template redeclaration

[Stephan Bergmann]

On 13/02/2023 13:39, Stephan Bergmann wrote:
> On 13/02/2023 12:14, Stephan Bergmann wrote:
>> I just noticed that Clang -std=c++2b complains (and I assume rightly 
>> so) about <ranges>
>>
>>> .../lib/gcc/x86_64-pc-linux-gnu/13.0.1/../../../../include/c++/13.0.1/ranges:6123:14: error: requires clause differs in template redeclaration
>>>     requires forward_range<_Vp>
>>>              ^
>>> .../lib/gcc/x86_64-pc-linux-gnu/13.0.1/../../../../include/c++/13.0.1/ranges:5822:14: note: previous template declaration is here
>>>     requires input_range<_Vp>
>>>              ^
> 
> ah no, there's multiple chunk_view with different requires clauses, so 
> this first one rather looks like a Clang bug

(see <https://github.com/llvm/llvm-project/issues/60704> "Clang 'error: 
requires clause differs in template redeclaration' on out-of-class 
definition of class template specialization member")

Re: <ranges> error: requires clause differs in template redeclaration

[Jonathan Wakely]

On Mon, 13 Feb 2023 at 12:39, Stephan Bergmann via Libstdc++
<libstdc++@gcc.gnu.org> wrote:
>
> On 13/02/2023 12:14, Stephan Bergmann wrote:
> > I just noticed that Clang -std=c++2b complains (and I assume rightly so)
> > about <ranges>
> >
> >> .../lib/gcc/x86_64-pc-linux-gnu/13.0.1/../../../../include/c++/13.0.1/ranges:6123:14: error: requires clause differs in template redeclaration
> >>     requires forward_range<_Vp>
> >>              ^
> >> .../lib/gcc/x86_64-pc-linux-gnu/13.0.1/../../../../include/c++/13.0.1/ranges:5822:14: note: previous template declaration is here
> >>     requires input_range<_Vp>
> >>              ^
>
> ah no, there's multiple chunk_view with different requires clauses, so
> this first one rather looks like a Clang bug

Yes, this is https://github.com/llvm/llvm-project/issues/58124