https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82247
--- Comment #3 from Joël Lamotte ---
Sorry, I though you would see the flaga in the llink to godbolt I provided:
--std=c++17 -fconcepts -O3
The code I provided in the report do compile, the problem is explained through
the comments that if unco
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82247
--- Comment #5 from Joël Lamotte ---
I'll have to recheck when I have access to a proper computer, but that indeed
would explain this(weird) behavior.
My understanding was that for basic types, ADL would still work using global
namespace, which i
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82247
Joël Lamotte changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491
Bug 67491 depends on bug 82247, which changed state.
Bug 82247 Summary: [concepts] Name deduction in concepts fails depending on the
argument type
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82247
What|Removed
: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: mjklaim at gmail dot com
Target Milestone: ---
~~
#include
#include
template
bool concept Fooable = requires(const T&am
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82247
--- Comment #1 from Joël Lamotte ---
Just so that it's clear, it's on godbolt's compiler that I tried this:
https://godbolt.org/g/d78J4H
