Type-safe programming languages require that:

A.
Data conversions that might be unsafe are done explicitly.

B.
All data conversions are done implicitly.

C.
Data conversions that might be unsafe are done implicitly.

D.
All data conversions are done explicitly.