Concept Subspace :: sus :: construct :: TryInto

source
template <class FromType, class ToType>
concept TryInto
requires 
::sus::construct::TryFrom<ToType, FromType> ||
                  std::same_as<ToType, FromType>

A concept that declares FromType can (sometimes) be converted to ToType through the TryFrom concept or through an identity transformation.