Include file:

#include "mcrl2/utilities/workarounds.h"


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.