I believe what @skippy is saying is to permit either safe of unsafe, but the former would be deprecated and would emit a warning anywhere it's used (whether it's at call-site, type inference, type annotation, etc.)
2 Likes