Type safety is not a standardized term, and it is not binary. Being black and white about things is almost always bad. One needs to weigh and balance a large nu

Type safety is not a standardized term, and it is not binary. Being black and white about things is almost always bad. One needs to weigh and balance a large number of different concerns. A lot of "modern C++" is terrible, terrible code precisely because of failing to find a balance. Many C++ "solutions" are broken by design.