def x = System.IntPtr.Zero : object; def y = x :> System.IntPtr; assert (y.Equals (System.IntPtr.Zero)); // #1024 def qq : array[System.IntPtr] = array(5); _ = qq[0]; assert (qq[1].Equals(System.IntPtr.Zero));