errors/bug13.cs

   1 using System;
   2
   3 class X {
   4         static void Main ()
   5         {
   6                 Type t = null;
   7
   8                 if (t.GetType () == null)
   9                         return;
  10         }
  11 }