TartanLlama/expected
1
0
Fork 1
mirror of https://github.com/TartanLlama/expected.git synced 2025-08-01 01:44:30 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix use of std::remove_cv in static_assert (#90)

Browse Source 
Access result via the member type 'type'. Otherwise the static_assert does not
do as was intended.
This commit is contained in:
bobble-clank
2021-09-07 19:23:16 +10:00
committed by GitHub
parent 68a5f5d701
commit 96d547c03d
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
include/tl/expected.hpp
View File

@@ -1216,11 +1216,11 @@ class expected : private detail::expected_move_assign_base<T, E>,
private detail::expected_delete_assign_base<T, E>,
private detail::expected_default_ctor_base<T, E> {
static_assert(!std::is_reference<T>::value, "T must not be a reference");
static_assert(!std::is_same<T, std::remove_cv<in_place_t>>::value,
static_assert(!std::is_same<T, std::remove_cv<in_place_t>::type>::value,
"T must not be in_place_t");
static_assert(!std::is_same<T, std::remove_cv<unexpect_t>>::value,
static_assert(!std::is_same<T, std::remove_cv<unexpect_t>::type>::value,
"T must not be unexpect_t");
static_assert(!std::is_same<T, std::remove_cv<unexpected<E>>>::value,
static_assert(!std::is_same<T, typename std::remove_cv<unexpected<E>>::type>::value,
"T must not be unexpected<E>");
static_assert(!std::is_reference<E>::value, "E must not be a reference");