https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111138
Tomasz Kamiński <tkaminsk at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2025-03-07 Keywords| |rejects-valid Known to fail| |13.1.0 Target Milestone|--- |15.0 Status|UNCONFIRMED |NEW CC| |tkaminsk at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Tomasz Kamiński <tkaminsk at gcc dot gnu.org> --- The example that would better illustrate the issue with this not being an substitution error: ``` #include <ranges> template<class T> concept Test = requires() { std::views::zip_transform(T(0)); }; static_assert(!Test<int>); ``` See: https://godbolt.org/z/xrWaMdP8b