storm
storm copied to clipboard
remove an instance of boost::any
There was a problem with the ci and downloading boost.., but i cannot restart the CI @volkm
I can rerun the jobs for some reason. Let's see whether it works the second time.
I do not understand even remotely what happens here :/
This line error: incomplete type 'std::is_copy_constructible<boost::optional<std::any> >' used in nested name specifier
makes me think that boost::optional and std::any may not be compatible and that one has to use std::optional here.
Given that this happens in Ubuntu 20.04, this could be a bug with, e.g., older boost versions.
Given that std::any
can be uninitialised, the type boost::optional<std::any>
does not make a lot of sense in the first place. We could simplify this to just std::any
and use the has_value function.
Agreed, thanks for the suggestion.