Здравствуйте, rg45, Вы писали:

NB>>на
NB>>

NB>>        template <typename OtherType = Type>
NB>>        optional(OtherType&& value, std::decay_t<compatible_t<OtherType>>* ptr = 0) noexcept;
NB>>

R>Ой, что-то я сомневаюсь, что это поможет — с учетом того, что compatible_t реализован через is_constructible. Заколдованный круг же.

по крайней мере компилер не ругается
в первом конструкторе вообще смысла немного, т.к. сфинае не работает.
к томуже is_constructible к другому типу идет