Author
anonymous
about 3 years ago
Language
C++
Compiler
gcc HEAD 12.0.1 20220214 (experimental)
Options
Warnings
Don't Use Boost
C++2b(GNU)
no pedantic
Raw compiler options
-fconcepts-diagnostics-depth=4
Author
anonymous
about 3 years ago
$ g++ prog.cc -Wall -Wextra -std=gnu++2b -fconcepts-diagnostics-depth=4prog.cc: In function 'int main()':
prog.cc:10:11: error: no match for 'operator|' (operand types are 'std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >' and 'const std::ranges::views::_Common')
8 | auto cv = std::ranges::istream_view<int>(ints)
| ~~~~~~~~~~~~~~~~~~~~~~~
9 | | std::views::filter([](int n){ return n % 2 == 0; })
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| |
| std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >
10 | | std::views::common; // NG
| ^ ~~~~~~~~~~~~~~~~~~
| |
| const std::ranges::views::_Common
In file included from prog.cc:2:
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:868:7: note: candidate: 'template<class _Lhs, class _Rhs> requires (derived_from<_Lhs, std::ranges::views::__adaptor::_RangeAdaptorClosure>) && (derived_from<_Rhs, std::ranges::views::__adaptor::_RangeAdaptorClosure>) constexpr auto std::ranges::views::__adaptor::operator|(_Lhs, _Rhs)'
868 | operator|(_Lhs __lhs, _Rhs __rhs)
| ^~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:868:7: note: template argument deduction/substitution failed:
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:868:7: note: constraints not satisfied
In file included from /opt/wandbox/gcc-head/include/c++/12.0.1/compare:39,
from /opt/wandbox/gcc-head/include/c++/12.0.1/bits/char_traits.h:45,
from /opt/wandbox/gcc-head/include/c++/12.0.1/ios:40,
from /opt/wandbox/gcc-head/include/c++/12.0.1/istream:38,
from /opt/wandbox/gcc-head/include/c++/12.0.1/sstream:38,
from prog.cc:1:
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts: In substitution of 'template<class _Lhs, class _Rhs> requires (derived_from<_Lhs, std::ranges::views::__adaptor::_RangeAdaptorClosure>) && (derived_from<_Rhs, std::ranges::views::__adaptor::_RangeAdaptorClosure>) constexpr auto std::ranges::views::__adaptor::operator|(_Lhs, _Rhs) [with _Lhs = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >; _Rhs = std::ranges::views::_Common]':
prog.cc:10:25: required from here
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:67:13: required for the satisfaction of 'derived_from<_Lhs, std::ranges::views::__adaptor::_RangeAdaptorClosure>' [with _Lhs = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>]
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:67:28: note: 'std::ranges::views::__adaptor::_RangeAdaptorClosure' is not a base of 'std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >'
67 | concept derived_from = __is_base_of(_Base, _Derived)
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:859:7: note: candidate: 'template<class _Self, class _Range> requires (derived_from<typename std::remove_cvref<_Tp>::type, std::ranges::views::__adaptor::_RangeAdaptorClosure>) && (__adaptor_invocable<_Self, _Range>) constexpr auto std::ranges::views::__adaptor::operator|(_Range&&, _Self&&)'
859 | operator|(_Range&& __r, _Self&& __self)
| ^~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:859:7: note: template argument deduction/substitution failed:
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:859:7: note: constraints not satisfied
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges: In substitution of 'template<class _Self, class _Range> requires (derived_from<typename std::remove_cvref<_Tp>::type, std::ranges::views::__adaptor::_RangeAdaptorClosure>) && (__adaptor_invocable<_Self, _Range>) constexpr auto std::ranges::views::__adaptor::operator|(_Range&&, _Self&&) [with _Self = const std::ranges::views::_Common&; _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]':
prog.cc:10:25: required from here
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:831:13: required for the satisfaction of '__adaptor_invocable<_Self, _Range>' [with _Self = const std::ranges::views::_Common&; _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>]
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:832:9: in requirements [with _Args = {std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>}; _Adaptor = const std::ranges::views::_Common&]
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:832:44: note: the required expression 'declval<_Adaptor>()((declval<_Args>)()...)' is invalid, because
832 | = requires { std::declval<_Adaptor>()(declval<_Args>()...); };
| ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:832:44: error: no match for call to '(const std::ranges::views::_Common) (std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >)'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3740:9: note: candidate: 'template<class _Range> requires (viewable_range<_Range>) && ((__already_common<_Range>) || (__can_common_view<_Range>)) constexpr auto std::ranges::views::_Common::operator()(_Range&&) const'
3740 | operator() [[nodiscard]] (_Range&& __r) const
| ^~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3740:9: note: template argument deduction/substitution failed:
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3740:9: note: constraints not satisfied
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges: In substitution of 'template<class _Range> requires (viewable_range<_Range>) && ((__already_common<_Range>) || (__can_common_view<_Range>)) constexpr auto std::ranges::views::_Common::operator()(_Range&&) const [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]':
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:832:44: required by substitution of 'template<class _Self, class _Range> requires (derived_from<typename std::remove_cvref<_Tp>::type, std::ranges::views::__adaptor::_RangeAdaptorClosure>) && (__adaptor_invocable<_Self, _Range>) constexpr auto std::ranges::views::__adaptor::operator|(_Range&&, _Self&&) [with _Self = const std::ranges::views::_Common&; _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
prog.cc:10:25: required from here
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3740:2: required by the constraints of 'template<class _Range> requires (viewable_range<_Range>) && ((__already_common<_Range>) || (__can_common_view<_Range>)) constexpr auto std::ranges::views::_Common::operator()(_Range&&) const'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3738:11: note: no operand of the disjunction is satisfied
3737 | requires __detail::__already_common<_Range>
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3738 | || __detail::__can_common_view<_Range>
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3737:28: note: the operand '__already_common<_Range>' is unsatisfied because
3737 | requires __detail::__already_common<_Range>
| ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
3738 | || __detail::__can_common_view<_Range>
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:57:15: required for the satisfaction of '__same_as<_Tp, _Up>' [with _Tp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Iterator; _Up = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Sentinel]
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:62:13: required for the satisfaction of 'same_as<decltype (std::ranges::__cust_access::__begin(declval<_Container&>())), std::ranges::sentinel_t<_Tp> >' [with _Tp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>]
/opt/wandbox/gcc-head/include/c++/12.0.1/bits/ranges_base.h:689:13: required for the satisfaction of 'common_range<_Range>' [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>]
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3726:10: required for the satisfaction of '__already_common<_Range>' [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>]
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:57:32: note: the expression 'is_same_v<_Tp, _Up> [with _Tp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Iterator; _Up = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Sentinel]' evaluated to 'false'
57 | concept __same_as = std::is_same_v<_Tp, _Up>;
| ~~~~~^~~~~~~~~~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3738:24: note: the operand '__can_common_view<_Range>' is unsatisfied because
3737 | requires __detail::__already_common<_Range>
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3738 | || __detail::__can_common_view<_Range>
| ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3730:10: required for the satisfaction of '__can_common_view<_Range>' [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>]
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3731:6: in requirements [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>]
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3731:24: note: the required expression 'common_view<...auto...>{declval<_Range>()}' is invalid, because
3731 | = requires { common_view{std::declval<_Range>()}; };
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3731:24: error: class template argument deduction failed:
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3731:24: error: no matching function for call to 'common_view(std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >)'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3643:7: note: candidate: 'template<class _Vp> common_view(_Vp)-> std::ranges::common_view<_Vp>'
3643 | common_view(_Vp __r)
| ^~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3643:7: note: template argument deduction/substitution failed:
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges: In substitution of 'template<class _Vp> common_view(_Vp)-> std::ranges::common_view<_Vp> [with _Vp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]':
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3731:17: required by substitution of 'template<class _Range> requires (viewable_range<_Range>) && ((__already_common<_Range>) || (__can_common_view<_Range>)) constexpr auto std::ranges::views::_Common::operator()(_Range&&) const [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:832:44: required by substitution of 'template<class _Self, class _Range> requires (derived_from<typename std::remove_cvref<_Tp>::type, std::ranges::views::__adaptor::_RangeAdaptorClosure>) && (__adaptor_invocable<_Self, _Range>) constexpr auto std::ranges::views::__adaptor::operator|(_Range&&, _Self&&) [with _Self = const std::ranges::views::_Common&; _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
prog.cc:10:25: required from here
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3643:7: error: template constraint failure for 'template<class _Vp> requires (view<_Vp>) && (!(common_range<_Vp>) && (copyable<decltype(std::ranges::__cust_access::__begin((declval<_Container&>)()))>)) class std::ranges::common_view'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3643:7: note: constraints not satisfied
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts: In substitution of 'template<class _Vp> requires (view<_Vp>) && (!(common_range<_Vp>) && (copyable<decltype(std::ranges::__cust_access::__begin((declval<_Container&>)()))>)) class std::ranges::common_view [with _Vp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]':
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3643:7: required by substitution of 'template<class _Vp> common_view(_Vp)-> std::ranges::common_view<_Vp> [with _Vp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3731:17: required by substitution of 'template<class _Range> requires (viewable_range<_Range>) && ((__already_common<_Range>) || (__can_common_view<_Range>)) constexpr auto std::ranges::views::_Common::operator()(_Range&&) const [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:832:44: required by substitution of 'template<class _Self, class _Range> requires (derived_from<typename std::remove_cvref<_Tp>::type, std::ranges::views::__adaptor::_RangeAdaptorClosure>) && (__adaptor_invocable<_Self, _Range>) constexpr auto std::ranges::views::__adaptor::operator|(_Range&&, _Self&&) [with _Self = const std::ranges::views::_Common&; _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
prog.cc:10:25: required from here
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:136:13: required for the satisfaction of 'constructible_from<_Tp, _Tp&>' [with _Tp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Iterator]
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:155:13: required for the satisfaction of 'copy_constructible<_Tp>' [with _Tp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Iterator]
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:251:13: required for the satisfaction of 'copyable<decltype (std::ranges::__cust_access::__begin(declval<_Container&>()))>' [with _Vp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>]
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:137:30: note: the expression 'is_constructible_v<_Tp, _Args ...> [with _Tp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Iterator; _Args = {std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Iterator&}]' evaluated to 'false'
137 | = destructible<_Tp> && is_constructible_v<_Tp, _Args...>;
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges: In substitution of 'template<class _Range> requires (viewable_range<_Range>) && ((__already_common<_Range>) || (__can_common_view<_Range>)) constexpr auto std::ranges::views::_Common::operator()(_Range&&) const [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]':
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:832:44: required by substitution of 'template<class _Self, class _Range> requires (derived_from<typename std::remove_cvref<_Tp>::type, std::ranges::views::__adaptor::_RangeAdaptorClosure>) && (__adaptor_invocable<_Self, _Range>) constexpr auto std::ranges::views::__adaptor::operator|(_Range&&, _Self&&) [with _Self = const std::ranges::views::_Common&; _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
prog.cc:10:25: required from here
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3640:7: note: candidate: 'template<class _Vp> common_view()-> std::ranges::common_view<_Vp> requires default_initializable<_Vp>'
3640 | common_view() requires default_initializable<_Vp> = default;
| ^~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3640:7: note: template argument deduction/substitution failed:
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3731:24: note: candidate expects 0 arguments, 1 provided
3731 | = requires { common_view{std::declval<_Range>()}; };
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3634:11: note: candidate: 'template<class _Vp> common_view(std::ranges::common_view<_Vp>)-> std::ranges::common_view<_Vp>'
3634 | class common_view : public view_interface<common_view<_Vp>>
| ^~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3634:11: note: template argument deduction/substitution failed:
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3731:24: note: 'std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >' is not derived from 'std::ranges::common_view<_Vp>'
3731 | = requires { common_view{std::declval<_Range>()}; };
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3715:5: note: candidate: 'template<class _Range> std::ranges::common_view(_Range&&)-> common_view<views::all_t<_Range> >'
3715 | common_view(_Range&&) -> common_view<views::all_t<_Range>>;
| ^~~~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3715:5: note: template argument deduction/substitution failed:
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges: In substitution of 'template<class _Range> std::ranges::common_view(_Range&&)-> common_view<views::all_t<_Range> > [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]':
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3731:17: required by substitution of 'template<class _Range> requires (viewable_range<_Range>) && ((__already_common<_Range>) || (__can_common_view<_Range>)) constexpr auto std::ranges::views::_Common::operator()(_Range&&) const [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:832:44: required by substitution of 'template<class _Self, class _Range> requires (derived_from<typename std::remove_cvref<_Tp>::type, std::ranges::views::__adaptor::_RangeAdaptorClosure>) && (__adaptor_invocable<_Self, _Range>) constexpr auto std::ranges::views::__adaptor::operator|(_Range&&, _Self&&) [with _Self = const std::ranges::views::_Common&; _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
prog.cc:10:25: required from here
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3715:5: error: template constraint failure for 'template<class _Vp> requires (view<_Vp>) && (!(common_range<_Vp>) && (copyable<decltype(std::ranges::__cust_access::__begin((declval<_Container&>)()))>)) class std::ranges::common_view'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3715:5: note: constraints not satisfied
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts: In substitution of 'template<class _Vp> requires (view<_Vp>) && (!(common_range<_Vp>) && (copyable<decltype(std::ranges::__cust_access::__begin((declval<_Container&>)()))>)) class std::ranges::common_view [with _Vp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]':
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3715:5: required by substitution of 'template<class _Range> std::ranges::common_view(_Range&&)-> common_view<views::all_t<_Range> > [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:3731:17: required by substitution of 'template<class _Range> requires (viewable_range<_Range>) && ((__already_common<_Range>) || (__can_common_view<_Range>)) constexpr auto std::ranges::views::_Common::operator()(_Range&&) const [with _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
/opt/wandbox/gcc-head/include/c++/12.0.1/ranges:832:44: required by substitution of 'template<class _Self, class _Range> requires (derived_from<typename std::remove_cvref<_Tp>::type, std::ranges::views::__adaptor::_RangeAdaptorClosure>) && (__adaptor_invocable<_Self, _Range>) constexpr auto std::ranges::views::__adaptor::operator|(_Range&&, _Self&&) [with _Self = const std::ranges::views::_Common&; _Range = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >]'
prog.cc:10:25: required from here
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:136:13: required for the satisfaction of 'constructible_from<_Tp, _Tp&>' [with _Tp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Iterator]
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:155:13: required for the satisfaction of 'copy_constructible<_Tp>' [with _Tp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Iterator]
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:251:13: required for the satisfaction of 'copyable<decltype (std::ranges::__cust_access::__begin(declval<_Container&>()))>' [with _Vp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>]
/opt/wandbox/gcc-head/include/c++/12.0.1/concepts:137:30: note: the expression 'is_constructible_v<_Tp, _Args ...> [with _Tp = std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Iterator; _Args = {std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main::._anon_103>::_Iterator&}]' evaluated to 'false'
137 | = destructible<_Tp> && is_constructible_v<_Tp, _Args...>;
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /opt/wandbox/gcc-head/include/c++/12.0.1/ios:42:
/opt/wandbox/gcc-head/include/c++/12.0.1/bits/ios_base.h:87:3: note: candidate: 'constexpr std::_Ios_Fmtflags std::operator|(_Ios_Fmtflags, _Ios_Fmtflags)'
87 | operator|(_Ios_Fmtflags __a, _Ios_Fmtflags __b)
| ^~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/bits/ios_base.h:87:27: note: no known conversion for argument 1 from 'std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >' to 'std::_Ios_Fmtflags'
87 | operator|(_Ios_Fmtflags __a, _Ios_Fmtflags __b)
| ~~~~~~~~~~~~~~^~~
/opt/wandbox/gcc-head/include/c++/12.0.1/bits/ios_base.h:130:3: note: candidate: 'constexpr std::_Ios_Openmode std::operator|(_Ios_Openmode, _Ios_Openmode)'
130 | operator|(_Ios_Openmode __a, _Ios_Openmode __b)
| ^~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/bits/ios_base.h:130:27: note: no known conversion for argument 1 from 'std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >' to 'std::_Ios_Openmode'
130 | operator|(_Ios_Openmode __a, _Ios_Openmode __b)
| ~~~~~~~~~~~~~~^~~
/opt/wandbox/gcc-head/include/c++/12.0.1/bits/ios_base.h:170:3: note: candidate: 'constexpr std::_Ios_Iostate std::operator|(_Ios_Iostate, _Ios_Iostate)'
170 | operator|(_Ios_Iostate __a, _Ios_Iostate __b)
| ^~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/bits/ios_base.h:170:26: note: no known conversion for argument 1 from 'std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >' to 'std::_Ios_Iostate'
170 | operator|(_Ios_Iostate __a, _Ios_Iostate __b)
| ~~~~~~~~~~~~~^~~
In file included from /opt/wandbox/gcc-head/include/c++/12.0.1/span:42,
from /opt/wandbox/gcc-head/include/c++/12.0.1/ranges:45:
/opt/wandbox/gcc-head/include/c++/12.0.1/cstddef:132:3: note: candidate: 'constexpr std::byte std::operator|(byte, byte)'
132 | operator|(byte __l, byte __r) noexcept
| ^~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.1/cstddef:132:18: note: no known conversion for argument 1 from 'std::ranges::filter_view<std::ranges::basic_istream_view<int, char, std::char_traits<char> >, main()::<lambda(int)> >' to 'std::byte'
132 | operator|(byte __l, byte __r) noexcept
| ~~~~~^~~
Exit Code:
1