mcrl2::workaround Namespace Reference

Functions
template<typename T >
T &&	return_std_move (T &t)
	This is a workaround for the return by value diagnostic (clang -Wreturn-std-move). Description: The user probably expected a move, but they're not getting a move, perhaps because the type of "x" is different from the return type of the function.

Function Documentation

return_std_move()

template<typename T >

T && mcrl2::workaround::return_std_move

(

T &

t

)

This is a workaround for the return by value diagnostic (clang -Wreturn-std-move). Description: The user probably expected a move, but they're not getting a move, perhaps because the type of "x" is different from the return type of the function.

This constraint might be lifted by newer C++ standards and then this workaround can easily be removed.

Definition at line 24 of file workarounds.h.