Type-safe is code that accesses only the memory locations it is authorized to access, and only in well-defined, allowable ways. Type-safe code cannot perform an operation on an object that is invalid for that object. The C# and VB.NET language compilers always produce type-safe code, which is verified to be type-safe during JIT-compilation.
![C# in Depth, 4th Edition](/how-to-asp-net-uploads/2020/05/c-sharp-in-depth-book.jpg")