Allow "sub-type"-like conversions between refinements#3

rvarago merged 1 commit intomainrvarago/cpp_refined:mainfrom

feat/simulate-safe-subtypingrvarago/cpp_refined:feat/simulate-safe-subtypingCopy head branch name to clipboard