Does unsafe language provide any static type checking at all?

C/C++ are unsafe but still provide best-effort static type checking.