Which part of the .NET Framework verifies that code is type-safe?

Which part of the .NET Framework verifies that code is type-safe?

A.
Microsoft Intermediate Language (MSIL) compiler

B.
Common Type System (CTS)

C.
Just-in-Time (JIT) compiler

D.
Base Class Library (BCL)