Which one of the following statements is true about verifiably type-safe managed code?
All .NET compilers produce only verifiably type-safe code.
Visual Basic .NET and C# produce verifiably type-safe code if you avoid certain constructs.
Only Visual C++ with Managed Extensions produces verifiably type-safe code.
Visual C++ with Managed Extensions produces verifiably type-safe code if you avoid certain constructs.
C++ and C# cannot produce verifiably type-safe code.