tests/gtest-392.cs

   1 using System;
   2
   3 public class DieSubrangeType
   4 {
   5         public int? UpperBound
   6         {
   7                 get;
   8                 private set;
   9         }
  10
  11         public DieSubrangeType ()
  12         {
  13                 UpperBound = 1;
  14         }
  15 }
  16
  17 class X
  18 {
  19         static int Main ()
  20         {
  21                 DieSubrangeType subrange = new DieSubrangeType ();
  22                 Console.WriteLine (subrange.UpperBound != null);
  23                 Console.WriteLine ((int) subrange.UpperBound);
  24                 return (int) subrange.UpperBound - 1;
  25         }
  26 }