https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96416
--- Comment #24 from Zach Laine ---
Sorry for the delay. I confirmed that this makes my case well-formed with
releases/gcc-11, and that it's ill-formed with GCC 11.2 and GCC 10.x.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96416
--- Comment #2 from Zach Laine ---
Fair enough. [pointer.conversion] says that to_pointer(const Ptr& p) is
"pointer_traits::to_address(p) if that expression is well-formed (see
[pointer.traits.optmem]), otherwise to_address(p.operator->())"
Priority: P3
Component: libstdc++
Assignee: unassigned at gcc dot gnu.org
Reporter: whatwasthataddress at gmail dot com
Target Milestone: ---
pointer_traits contains this static_assert:
static_assert(!is_same::value,
"pointer type defines element_ty