Visual Basic Programming for Dot NET

It means that the MSIL code cannot be JIT compiled by the CLR.

It provides the JIT code prevention.

In the stage of the verification process, the type safety is analysed after the declaration of the code.

The code passes the type-safety check. The CLR accepts that code is both valid and type-safe and allows it to be executed or referenced.

It makes the code typesafe.