This commit is contained in:
2023-05-10 16:47:23 -04:00
parent 3111ed11eb
commit 6c6eb77480
3 changed files with 55 additions and 0 deletions

View File

@@ -158,3 +158,5 @@ traits!
type conversions in a generic way
x.into() will do the type conversion for you, if valid and lossless