On Thu, Nov 5, 2020 at 11:06 connor horman wrote:
> Looking at https://eel.is/c++draft/optional.optional and optional.assign,
> it shouldn't be ill-formed to have a non copy-constructible type, the copy
> constructor of optional should be defined as deleted.
> [optional.optional.general] clause 3
I've actually reduced the problem to the defaulted copy assignment operator
itself:
gcc: https://godbolt.org/z/83Gjdb
clang: https://godbolt.org/z/z35x4K
The controlling clause would seem to be
https://eel.is/c++draft/class.copy.assign#7.4. In particular, because
overload resolution cannot find th