New issue about insufficient constexpr guarantees of defaulted functions